Analisando as fórmulas apresentadas, temos que: I - “p → p” é o Modus Ponens; II - “⁓(p ˄ ⁓p)” é a Dupla Negação; III - “p ˅ ⁓p” é o Princípio do Terceiro Excluído; IV - “⁓(p ˄ q) ↔ (⁓p ˅ ⁓q)” são as Leis de De Morgan. Portanto, a alternativa correta é: a. Modus Ponens; Dupla Negação; Princípio do Terceiro Excluído; Leis de De Morgan.
Para escrever sua resposta aqui, entre ou crie uma conta
Compartilhar