0:00
GevorderdLogische EquivalentieBewijs Voltooiing

Maak het volgende bewijs compleet:

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

Doel: Bewijs R

P ↔ Q, Q ↔ R, P ⊢ R

Doel: Bewijs ?

Klik op de lege velden om het bewijs in te vullen