This question already has an answer here:
I could easily prove
$\neg P \lor Q$ entails $P \rightarrow Q$.
It is well known that
$P \rightarrow Q$ entails $\neg P \lor Q$
but I couldn't find a way to prove it.
Although there is the same question; How to prove that $P \rightarrow Q$ is equivalent with $\neg P \lor Q $?; it's a little bit confusing and I need to see step by step solution.
Could you show me the way by using Natural Deduction?