0:00
FortgeschrittenLogische ÄquivalenzDrag & Drop Beweis

Ordnen Sie die folgenden Schritte in der richtigen Reihenfolge an, um S aus den gegebenen Prämissen zu beweisen.

Ziel: Beweise S

P → Q, Q → R, R → S, P ⊢ S

Verfügbare Schritte

P → QPrämisse
Q → RPrämisse
R → SPrämisse
PPrämisse
QModus Ponens (1, 4)
RModus Ponens (2, 5)
SModus Ponens (3, 6)

Ziel: Beweise S

Ziehe Schritte hierher, um deinen Beweis aufzubauen