0:00
고급논리 동치드래그 앤 드롭 증명
주어진 전제들로부터 R ∧ S를 증명하기 위해 다음 단계들을 올바른 순서로 배열하세요.
사용 가능한 단계들:
- 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)
목표: R ∧ S 증명하기
P ∧ Q, P → R, Q → S ⊢ R ∧ S사용 가능한 단계
증명에 모든 단계를 사용했습니다
목표: Q 증명
증명을 구축하려면 여기로 단계를 드래그하세요