Buscar

Na lógica, temos algumas implicações mais usuais que são utilizadas nas demonstrações, essas implicações recebem o nome de “Regras de Inferência”,...

Na lógica, temos algumas implicações mais usuais que são utilizadas nas demonstrações, essas implicações recebem o nome de “Regras de Inferência”, elas são implicações lógicas notáveis. A seguinte proposição (p → q) ˄ ~q implica (⇒) em:

Respostas

User badge image

Ed Verified user icon

A proposição (p → q) ˄ ~q implica em ~p, de acordo com a regra de inferência chamada de Modus Tollens. Essa regra afirma que, se a implicação condicional p → q é verdadeira e q é falso, então podemos concluir que p também é falso.

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

Mais conteúdos dessa disciplina