Ir para o conteúdo

Lógica/Cálculo Proposicional Clássico/Tablôs semânticos/Respostas

Origem: Wikilivros, livros abertos por um mundo aberto.

Exercício 1

[editar | editar código]

São tautológicas apenas as fórmulas 1, 3, 4, 7, 8, 10 e 11.

Exercício 2

[editar | editar código]

São válidos apenas os argumentos 1, 2, 4, 6, 7, 8 e 10.