Vamos analisar cada proposição: 1. ((p → q) ↔ q) → p: - Essa proposição é uma tautologia, pois a tabela verdade mostra que a implicação é sempre verdadeira. 2. p ∧ q → (p ↔ q v r): - Essa proposição é contingente, pois depende dos valores de verdade de p, q e r para determinar sua veracidade. 3. p → (~p → q): - Essa proposição é uma tautologia, pois a tabela verdade mostra que a implicação é sempre verdadeira. 4. ~p ∧ ~(p → q): - Essa proposição é uma contradição, pois a tabela verdade mostra que ela é sempre falsa. Espero ter ajudado!
Para escrever sua resposta aqui, entre ou crie uma conta
Lógica Matemática e Elementos de Lógica Digital
Compartilhar