1. Construção da Tabela-Verdade - Continuação

LÓGICA
MÓDULO 8
Índice
1. Construção da Tabela-Verdade - Continuação ............... 3
1.1. Contradição ................................................................ 3
1.2. Contingências ............................................................. 3
2
Lógica - Módulo 8
1. CONSTRUÇÃO DA TABELA-VERDADE - CONTINUAÇÃO
1.1. CONTRADIÇÃO
É uma proposição composta que sempre tem valor F. Logo, p é uma
contradição se, e somente se ¬p é uma tautologia, e p é uma tautologia se, e
somente se ¬p é uma contradição.
Sabemos que a proposição composta t : p ∧ ¬p é uma contradição, então
vejamos a seguir:
Também são contradições os exemplos a seguir:
p ∧¬p é uma contradição.
p
↔¬p é uma
contradição.
1.2. CONTINGÊNCIAS
São proposições compostas em que os valores lógicos independem dos
valores das proposições simples.
3
Lógica - Módulo 8