0:00
FortgeschrittenLogische Ä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 R

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

1.
P → Q
Prämisse
2.
Q → R
Prämisse
3.
P
Prämisse
4.
Q
Regel wählen
Zeilenreferenzen wählen
5.
R
Regel wählen
Zeilenreferenzen wählen