Buscar

Boa Tarde, por favor com todo respeito alguém que goste desse desafio, mi ajuda ai.

Utilizando as regras de inferências não hipotéticas, de equivalências e de derivadas, prove o argumento a seguir.

R ᴧ ~ (Q P), P ˫ Q

💡 2 Respostas

User badge image

Andre Smaira

Contradição (CTR)

{\displaystyle \left\{\alpha ,\neg \alpha \right\}\vdash \beta }{\displaystyle \left\{\alpha ,\neg \alpha \right\}\vdash \beta }


  1. {\displaystyle \alpha \,\!}{\displaystyle \alpha \,\!} Premissa
  2. {\displaystyle \neg \alpha \,\!}{\displaystyle \neg \alpha \,\!} Premissa
  3. {\displaystyle \alpha \lor \beta \,\!}{\displaystyle \alpha \lor \beta \,\!} 1 E
  4. {\displaystyle \beta \,\!}{\displaystyle \beta \,\!} 2,3 SD

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

Outros materiais