0:00
ErweitertLogische ÄquivalenzDrag & Drop Beweis

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

Verfügbare Schritte:

  • R ∧ S (Conjunction Introduction on 5, 6)
  • P ∧ Q (Premise)
  • P (Conjunction Elimination on 1)
  • P → R (Premise)
  • Q → S (Premise)
  • R (Modus Ponens on 4, 3)
  • Q (Conjunction Elimination on 1)
  • S (Modus Ponens on 5, 7)

Ziel: Beweisen Sie R ∧ S

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

Verfügbare Schritte

Alle Schritte im Beweis verwendet

Ziel: Beweise Q

Ziehe Schritte hierher, um deinen Beweis aufzubauen