0:00
AvanceradLogisk EkvivalensBevisavslutning

Komplettera följande bevis:

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

Mål: Bevisa R

P ↔ Q, Q ↔ R, P ⊢ R

Mål: Bevisa ?

Klicka på de tomma fälten för att fylla i beviset