Preencha a tabela-verdade abaixo para as fórmulas indicadas.
Questão
Preencha a tabela-verdade abaixo para as fórmulas indicadas.
Resposta
98%Tabela preenchida (V/F):
| p | q | r | p ∧ q | (p ∧ q) → p | ¬[(p ∧ q) → p] | ¬[(p ∧ q) → p] ∧ r |
|---|---|---|---|---|---|---|
| V | V | V | V | V | F | F |
| V | V | F | V | V | F | F |
| V | F | V | F | V | F | F |
| V | F | F | F | V | F | F |
| F | V | V | F | V | F | F |
| F | V | F | F | V | F | F |
| F | F | V | F | V | F | F |
| F | F | F | F | V | F | F |
Explicação
Vamos calcular coluna a coluna.
- só é verdadeira quando e .
- Então apenas nas duas primeiras linhas (V,V,*) temos . Nas demais, .
- (implicação) é falsa somente no caso antecedente = V e consequente = F.
- Aqui o antecedente é e o consequente é .
- Se , então necessariamente (pois para ser V, tem que ser V). Logo não existe linha com antecedente V e consequente F.
- Portanto é sempre V.
- é a negação da coluna anterior.
- Como a coluna anterior é sempre V, sua negação é sempre F.
- é uma conjunção.
- Como o primeiro termo é sempre F, então F \land r = F para qualquer valor de .
Assim, as duas últimas colunas ficam todas F, e a tabela final está como apresentada.
Alternativa correta: (sem alternativas).