0:00
AvançadoEquivalência LógicaCompletar Prova

Complete a seguinte prova:

  1. P ↔ Q (Premissa)
  2. Q ↔ R (Premissa)
  3. P (Premissa)
  4. _____ (?)
  5. _____ (?)

Objetivo: Provar R

P ↔ Q, Q ↔ R, P ⊢ R

Objetivo: Provar ?

Clique nos campos vazios para preencher a prova