0:00
고급논리 동치증명 완성
경우 분석을 사용하여 다음 증명을 완성하세요:
- P ∨ Q (전제)
- P → R (전제)
- Q → R (전제)
- Case 1: P를 가정
- _____ (?)
- Case 2: Q를 가정
- _____ (?)
- _____ (?)
목표: R을 증명하시오
P ∨ Q, P → R, Q → R ⊢ R목표: ? 증명
빈 필드를 클릭하여 증명을 작성하세요
경우 분석을 사용하여 다음 증명을 완성하세요:
목표: R을 증명하시오
P ∨ Q, P → R, Q → R ⊢ R빈 필드를 클릭하여 증명을 작성하세요