0:00
AvansertLogisk EkvivalensDra og Slipp Bevis
Arranger følgende trinn i riktig rekkefølge for å bevise R ∧ S fra de gitte premissene.
Tilgjengelige trinn:
- R ∧ S (Conjunction Introduction på 5, 6)
- P ∧ Q (Premiss)
- P (Conjunction Elimination på 1)
- P → R (Premiss)
- Q → S (Premiss)
- R (Modus Ponens på 4, 3)
- Q (Conjunction Elimination på 1)
- S (Modus Ponens på 5, 7)
Mål: Bevis R ∧ S
P ∧ Q, P → R, Q → S ⊢ R ∧ STilgjengelige trinn
Alle trinn brukt i bevis
Mål: Bevis Q
Dra trinn hit for å bygge beviset ditt