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

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

목표: Q를 증명하시오

P → Q, P ⊢ Q

사용 가능한 단계

P → Q전제
P전제
Q긍정 논법 (1, 2)

목표: Q 증명

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