0:00
AnfängerLogische ÄquivalenzDrag & Drop Beweis
Ordnen Sie die folgenden Schritte in der richtigen Reihenfolge an, um Q aus den gegebenen Prämissen zu beweisen.
Ziel: Beweise Q
P → Q, P ⊢ QVerfügbare Schritte
P → QPrämisse
PPrämisse
QModus Ponens (1, 2)
Ziel: Beweise Q
Ziehe Schritte hierher, um deinen Beweis aufzubauen