A sentença ¬((p → (q∧¬q)) → ¬p) é uma contradição.

Questões de assuntos semelhantes

• Se Mariana cozinhou risoto, então Marcelo comeu abacaxi. Se Marcelo comeu abacaxi, então Carolina foi à academia. Se Carolina foi à academia,...
• Sejam P, Q e R proposições lógicas em que P é verdadeira, Q é falsa e R é falsa. De acordo com a lógica proposicional, qual das seguintes...
• Para a questão , foi adotada a seguinte notação: v significando disjunção; ʌ significando conjunção; ¬ significando negação, V significando...
• Qual das proposições abaixo NÃO é uma tautologia?
• A coluna da tabela-verdade da proposição composta (A->B)->((¬B)->(¬A)) conterá somente valores lógicos V, independentemente dos valores...