0:00
고급논리 동치증명

다음 전제가 주어졌을 때:

  1. P ∨ Q
  2. ¬P

증명하시오: Q

P ∨ Q, ¬P ⊢ Q

목표: ? 증명

단계별로 증명 구축하기

1.
P ∨ Q
전제
2.
¬P
전제