A proposição composta (p ↔ q) → ~ (p ˅ ~q) é uma: Contingência Negação Afirmação Tautologia Contradição a) Contingência. b) Negação. c) Afirmação...

A proposição composta (p ↔ q) → ~ (p ˅ ~q) é uma tautologia. Explicação: Para provar que a proposição é uma tautologia, precisamos mostrar que ela é verdadeira para todas as possibilidades de valores de verdade de p e q. Podemos fazer isso usando uma tabela verdade: | p | q | p ↔ q | ~q | p ˅ ~q | ~ (p ˅ ~q) | (p ↔ q) → ~ (p ˅ ~q) | |---|---|-------|----|--------|-----------|-----------------------| | V | V | V | F | V | F | V | | V | F | F | V | V | F | V | | F | V | F | F | F | V | V | | F | F | V | V | V | F | V | Como podemos ver na última coluna da tabela, a proposição é verdadeira para todas as possibilidades de valores de verdade de p e q, o que significa que ela é uma tautologia. Portanto, a alternativa correta é d) Tautologia.