Determinar se as proposições a seguir são tautologia, contradição ou contingência, usando
o método da tabela-verdade:
a) (p ∨ q) ∧ (~p ∧ ~q)
b) (p ∧ q) → (p ↔ q)
Respostas
⠀
⠀⠀☞ Cada tabela-verdade nos demonstra que o item a) é uma contradição enquanto o item b) é uma tautologia. ✅
⠀
⠀
⠀⠀Inicialmente lembremos o que cada conectivo lógico representa:
⠀
⠀
⠀⠀ Vamos inicialmente registrar nossa tabela verdade padrão para nos auxiliar a montar as tabelas verdade de cada exercício:
⠀
⠀
⠀⠀Construiremos cada tabela verdade a seguir a partir de 4 passos:
⠀
⠀⠀I) Construir a Tabela Verdade com uma coluna para cada proposição, uma coluna para cada lado da sentença lógica e uma coluna para a sentença lógica completa;
⠀
⠀⠀II) Preencher os valores V ou F para nossas 3 proposições p, q e r;
⠀
⠀⠀III) Verificar a validade dos dois lados da sentença lógica separados;
⠀
⠀⠀IV) Verificar a validade da sentença lógica completa.
⠀
⠀⠀Lembremos também que:
⠀
- ⠀⠀TAUTOLOGIA: independente da validade das proposições a sentença lógica sempre será verdadeira;
⠀
- ⠀⠀CONTRADIÇÃO: independente da validade das proposições a sentença lógica sempre será falsa;
⠀
- ⠀⠀CONTINGÊNCIA: a validade da sentença lógica poderá ser verdadeira ou falsa a depender da validade das proposições que a compõe.
⠀
a) (p ∨ q) ∧ (~p ∧ ~q)
⠀
⠀
⠀⠀Esta proposição é portanto uma contradição. ✅
⠀
⠀
b) (p ∧ q) → (p ↔ q)
⠀
⠀
⠀⠀Esta proposição é portanto uma tautologia. ✅
⠀
⠀
⠀
⠀
⠀⠀☀️ + exercícios com tabela verdade:
⠀
✈ https://brainly.com.br/tarefa/38427225
✈ https://brainly.com.br/tarefa/38348117
✍
⠀
⠀
⠀
⠀
☁
⠀⠀⠀⠀☕
⠀
() ☄
✍
❄☃ ☘☀
⠀
⠀
⠀
⠀