Lógica/Cálculo Proposicional Clássico/Tablôs semânticos/Respostas
Saltar para a navegação
Saltar para a pesquisa
Exercício 1[editar | editar código-fonte]
São tautológicas apenas as fórmulas 1, 3, 4, 7, 8, 10 e 11.
Exercício 2[editar | editar código-fonte]
São válidos apenas os argumentos 1, 2, 4, 6, 7, 8 e 10.