0:00
GevorderdLogische EquivalentieSleep en Laat Bewijs

Zet de volgende stappen in de juiste volgorde om R ∧ S te bewijzen vanuit de gegeven premissen.

Beschikbare Stappen:

  • 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)

Doel: Bewijs R ∧ S

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

Beschikbare stappen

Alle stappen gebruikt in bewijs

Doel: Bewijs Q

Sleep stappen hierheen om je bewijs op te bouwen