0:00
FortgeschrittenLogische ÄquivalenzDrag & Drop Beweis

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

Ziel: Beweise R

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

Verfügbare Schritte

P ∨ QPrämisse
¬PPrämisse
Q → RPrämisse
QDisjunktiver Syllogismus (1, 2)
RModus Ponens (3, 4)

Ziel: Beweise R

Ziehe Schritte hierher, um deinen Beweis aufzubauen