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

다음 모순을 이용한 증명을 완성하세요:

  1. P → Q (전제)
  2. P (전제)
  3. ¬Q (전제)
  4. _____ (?)
  5. _____ (?)

목표: 모순 도출

P → Q, P, ¬Q ⊢ ⊥

목표: ? 증명

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