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