Buscar

A regra de inferência representada pela expressão (p v q) ^~p => q é chamada de: Simplificação Modus Ponens Modus Tollens Silogismo Disjuntivo Si...

A regra de inferência representada pela expressão (p v q) ^~p => q é chamada de:


Simplificação
Modus Ponens
Modus Tollens
Silogismo Disjuntivo
Silogismo Hipotético

Essa pergunta também está no material:

Avaliação de lógica matemática
3 pág.

Lógica Matemática e Computacional Universidade Estácio de SáUniversidade Estácio de Sá

💡 1 Resposta

User badge image

Ed Verified user icon

A regra de inferência representada pela expressão (p v q) ^~p => q é chamada de Modus Tollens.

0
Dislike0

✏️ Responder

SetasNegritoItálicoSublinhadoTachadoCitaçãoCódigoLista numeradaLista com marcadoresSubscritoSobrescritoDiminuir recuoAumentar recuoCor da fonteCor de fundoAlinhamentoLimparInserir linkImagemFórmula

Para escrever sua resposta aqui, entre ou crie uma conta

User badge image

Outros materiais