p → q ≡ ~p∨q 증명좀 해주실수있나요

[DD(59.7)]

논리학 공부하고 있는데 p → q ≡ ~p∨q (선언화/조건화) 를 증명을 아무리 찾아봐도 못 찾겠습니다 ㅠㅠ

~p가 대체 왜 갑자기 튀어나왔는지 하...

[Yudwig(kimkurt)]

진리표를 그려보도록 하세요. 그게 가장 빠릅니다.

[dd(59.7)]

그려봐도 왜 ~p가 들어가는지 모르겠어요... ~p면 p 바깥 전부인데...

[ㅇㄹㅇ(49.143)]

저거 그냥 진리치 동치라서 표현을 바꿔쓰는건데