Verificar, justificando, quais dos enunciados abaixo são verdadeiros. (a) ¬(p ∨ q) ∧ q é contradição; (b) (p ↔ q ∧ ¬p) ↔ ¬q é contradição; (...

Vamos analisar cada enunciado: (a) ¬(p ∨ q) ∧ q é contradicção; Para verificar se é verdadeiro, precisamos analisar a tabela verdade da expressão ¬(p ∨ q) ∧ q. Se a conjunção resultar em FALSO para todas as combinações de valores de p e q, então é uma contradição. (b) (p ↔ q ∧ ¬p) ↔ ¬q é contradicção; Da mesma forma, precisamos analisar a tabela verdade da expressão para verificar se é uma contradição. (c) (p → q ∧ ¬p) → ¬q é insatisfatível; Analogamente, precisamos analisar a tabela verdade para verificar se é insatisfatível. (d) Se p é falso então q é equivalente a ¬p ∨ q. Neste caso, precisamos verificar se a equivalência é verdadeira para todas as combinações de valores de p e q. Após analisar as tabelas verdade de cada expressão, poderemos determinar quais enunciados são verdadeiros.