0:00
AvanceradLogisk EkvivalensDra och Släpp Bevis

Ordna följande steg i rätt ordning för att bevisa R ∧ S från de givna premisserna.

Tillgängliga steg:

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

Mål: Bevisa R ∧ S

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

Tillgängliga steg

Alla steg använda i bevis

Mål: Bevisa Q

Dra steg hit för att bygga ditt bevis