0:00
AvanceretLogisk ÆkvivalensTræk og Slip Bevis
Arrangér følgende trin i den korrekte rækkefølge for at bevise R ∧ S ud fra de givne præmisser.
Tilgængelige trin:
- 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: Bevis R ∧ S
P ∧ Q, P → R, Q → S ⊢ R ∧ STilgængelige trin
Alle trin brugt i bevis
Mål: Bevis Q
Træk trin hertil for at bygge dit bevis