0:00
AvanzatoEquivalenza LogicaCompletamento di Dimostrazione

Completa la seguente dimostrazione:

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

Obiettivo: Dimostrare R

P ↔ Q, Q ↔ R, P ⊢ R

Obiettivo: Dimostrare ?

Fai clic sui campi vuoti per completare la dimostrazione