- 07ESTRUTURAS LÓGICAS P.3
TAUTOLOGIA
Certeza de "V"
Saída - tentar achar uma sentença "F"
Não é tautologia
Comutativos
V
↔
^
Não Comutativo
→
Se não tem absurdo
CONTRADIÇÃO
Contrário Tautologia
Princípio Substituição
Certeza "F"
Saída - tentar achar uma sentença "V"
Não é contradição
Se não tem absurdo
INDETERMINAÇÃO (Contingência)
Pelo menos 1 "V" e 1 "F"
Nº LINHAS
2^n
n = nº proposições simples e distintas
Construção Tabela Verdade