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

Questões de assuntos semelhantes

• Uma proposição lógica composta tem o seu significado lógico atribuído a partir da análise de sua tabela-verdade, onde se listam a cada linha...
• Sejam as seguintes proposições:p: O Aedes aegypti é perigoso.q: O Aedes aegypti é transmissor da Tuberculose.Assinale a alternativa que contém a...
• Assinale a alternativa que apresenta corretamente a classificação da respectiva fórmula proposicional.  
• Qual dos itens abaixo corresponde aos valores lógicos omissos (de cima para baixo) da última coluna da tabela-verdade abaixo?
• Proposições que possuem a mesma tabela-verdade são chamadas de proposições logicamente equivalentes (ou simplesmente equivalentes). Qual das...