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

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

목표: S를 증명하시오

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

사용 가능한 단계

P → Q전제
Q → R전제
R → S전제
P전제
Q긍정 논법 (1, 4)
R긍정 논법 (2, 5)
S긍정 논법 (3, 6)

목표: S 증명

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