0:00
중급논리 동치드래그 앤 드롭 증명

주어진 전제들로부터 R을 증명하기 위해 다음 단계들을 올바른 순서로 배열하세요.

목표: R 증명

P ∨ Q, ¬P, Q → R ⊢ R

사용 가능한 단계

P ∨ Q전제
¬P전제
Q → R전제
Q선언 삼단논법 (1, 2)
R긍정 논법 (3, 4)

목표: R 증명

증명을 구축하려면 여기로 단계를 드래그하세요