Sejam p e q fórmulas bem formadas de um sistema lógico de primeira ordem. Qual a regra clássica de inferência designada pela expressão (p→q), ¬q├ ¬...
Sejam p e q fórmulas bem formadas de um sistema lógico de primeira ordem. Qual a regra clássica de inferência designada pela expressão (p→q), ¬q├ ¬p?
A) Contraposição
B) Dupla Negação
C) Modus Tollens
D) Modus Ponens
E) Tollendo Ponens
A) Contraposição
B) Dupla Negação
C) Modus Tollens
D) Modus Ponens
E) Tollendo Ponens
Essa pergunta também está no material:
💡 1 Resposta
Ed 
A regra clássica de inferência designada pela expressão (p→q), ¬q├ ¬p é a opção C) Modus Tollens. Essa regra afirma que se a implicação condicional "se p então q" é verdadeira e q é falso, então podemos inferir que p é falso.
✏️ Responder
Para escrever sua resposta aqui, entre ou crie uma conta
Outros materiais
Perguntas relacionadas
Compartilhar