Correto! A validade do argumento pode ser deduzida através da aplicação das regras do Modus Tollens e da Lei de De Morgan. O Modus Tollens é uma regra lógica que afirma que se temos uma implicação condicional "A implica B" e negamos B, então podemos concluir a negação de A. Já a Lei de De Morgan é uma regra que nos permite negar uma conjunção ou uma disjunção. Nesse caso, a conclusão "~A ~G˅" é obtida através da negação das premissas "A G P˄" e "~P" utilizando essas regras.
Para escrever sua resposta aqui, entre ou crie uma conta
Compartilhar