0:00
AvançadoEquivalência LógicaProva Arrastar e Soltar

Organize os seguintes passos na ordem correta para provar ¬P a partir das premissas dadas.

Passos Disponíveis:

  • Q → R (Premissa)
  • ¬R (Premissa)
  • ¬Q (Modus Tollens em 1, 2)
  • P → Q (Premissa)
  • ¬P (Modus Tollens em 4, 5)

Objetivo: Provar ¬P

P → Q, Q → R, ¬R ⊢ ¬P

Passos disponíveis

Todos os passos usados na prova

Objetivo: Provar Q

Arraste os passos aqui para construir sua prova