0:00
AvanceretLogisk ÆkvivalensBevisfuldførelse

Fuldfør følgende bevis:

  1. P ↔ Q (Præmis)
  2. Q ↔ R (Præmis)
  3. P (Præmis)
  4. _____ (?)
  5. _____ (?)

Mål: Bevis R

P ↔ Q, Q ↔ R, P ⊢ R

Mål: Bevis ?

Klik på de tomme felter for at udfylde beviset