이산 수학 P - > (Q - > P) 원 제 는 이 렇 습 니 다. 비 P - > (P - > Q) P - > (Q - > P) 어떻게 증명 하 셨 습 니까?

이산 수학 P - > (Q - > P) 원 제 는 이 렇 습 니 다. 비 P - > (P - > Q) P - > (Q - > P) 어떻게 증명 하 셨 습 니까?

p V (p - > q)
p V (비 p V q)

P - > (Q - > P)
비 p V (q - > p)
비 p V (비 q V p)

비 p - > (p - > q) p - > (q - > p)