Para mostrar que a fórmula p ∨ ¬p é uma tautologia, precisamos construir uma tabela-verdade que mostre que a fórmula é verdadeira para todas as possibilidades de valores de p. | p | ¬p | p ∨ ¬p | |---|----|--------| | V | F | V | | F | V | V | Como podemos ver na tabela, a fórmula p ∨ ¬p é verdadeira para todas as possibilidades de valores de p, portanto, é uma tautologia. Para mostrar que a fórmula p ∧ ¬p é uma contradição, precisamos construir uma tabela-verdade que mostre que a fórmula é falsa para todas as possibilidades de valores de p. | p | ¬p | p ∧ ¬p | |---|----|--------| | V | F | F | | F | V | F | Como podemos ver na tabela, a fórmula p ∧ ¬p é falsa para todas as possibilidades de valores de p, portanto, é uma contradição.
Para escrever sua resposta aqui, entre ou crie uma conta
Lógica Matemática e Computacional
•UFRJ
Compartilhar