Cadernos de Questões

Provas Favoritas

Filtros Salvos

Foi encontrada 1 questão.
#2427447

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

  • Contraposição
  • Dupla Negação
  • Modus Tollens
  • Modus Ponens
  • Tollendo Ponens
Fale com IAgo
IAgo - Assistente IAProva
IA
Olá! Sou o IAgo, seu assistente aqui no IAProvatec 😊
Veja como posso te ajudar:
Agora