1. P⊃(￢P⊃P)


2. P⊃P

3. ((P⊃Q)⊃R)⊃((P⊃Q)⊃(P⊃R))

을 cp나 ip를 사용해서 도출하고 싶은데..너무 어려워... 한번만 도와줘..