0:00
ErweitertLogische ÄquivalenzBeweisvervollständigung

Vervollständigen Sie den folgenden Beweis:

  1. P ↔ Q (Prämisse)
  2. Q ↔ R (Prämisse)
  3. P (Prämisse)
  4. _____ (?)
  5. _____ (?)

Ziel: Beweisen Sie R

P ↔ Q, Q ↔ R, P ⊢ R

Ziel: Beweise ?

Klicken Sie auf die leeren Felder, um den Beweis auszufüllen