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

다음 증명을 완성하시오:

  1. P ↔ Q (전제)
  2. Q ↔ R (전제)
  3. P (전제)
  4. _____ (?)
  5. _____ (?)

목표: R을 증명하시오

P ↔ Q, Q ↔ R, P ⊢ R

목표: ? 증명

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