0:00
고급논리 동치드래그 앤 드롭 증명
주어진 전제들로부터 ¬P를 증명하기 위해 다음 단계들을 올바른 순서로 배열하시오.
사용 가능한 단계들:
- Q → R (전제)
- ¬R (전제)
- ¬Q (1, 2에 Modus Tollens 적용)
- P → Q (전제)
- ¬P (4, 5에 Modus Tollens 적용)
목표: ¬P를 증명하시오
P → Q, Q → R, ¬R ⊢ ¬P사용 가능한 단계
증명에 모든 단계를 사용했습니다
목표: Q 증명
증명을 구축하려면 여기로 단계를 드래그하세요