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

다음 증명을 완성하시오:

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

목표: R을 증명하시오

P → Q, Q → R, P ⊢ R

목표: R 증명

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

1.
P → Q
전제
2.
Q → R
전제
3.
P
전제
4.
Q
규칙 선택
행 참조 선택
5.
R
규칙 선택
행 참조 선택