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