0:00
AnfängerLogische ÄquivalenzBeweisvervollständigung

Ergänzen Sie die fehlenden Begründungen für diesen Beweis.

Ziel: Beweise Q

P → Q, P ⊢ Q

Ziel: Beweise Q

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

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