0:00
ErweitertLogische ÄquivalenzBeweisvervollständigung

Vervollständigen Sie den folgenden Beweis mittels Fallunterscheidung:

  1. P ∨ Q (Prämisse)
  2. P → R (Prämisse)
  3. Q → R (Prämisse)
  4. Fall 1: Annahme P
  5. _____ (?)
  6. Fall 2: Annahme Q
  7. _____ (?)
  8. _____ (?)

Ziel: Beweise R

P ∨ Q, P → R, Q → R ⊢ R

Ziel: Beweise ?

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