0:00
초급논리 동치증명 완성

이 증명에서 누락된 정당화를 채우세요.

목표: Q를 증명하기

P → Q, P ⊢ Q

목표: Q 증명

빈 필드를 클릭하여 증명을 작성하세요

1.
P → Q
전제
2.
P
전제
3.
Q
규칙 선택
행 참조 선택