Using the law of inference the axiomatic system and metatheorems prove that
$${(\neg A > B),(A > C),(B > D)} \vdash (\neg C > D)$$ Where > is 'implies' and ~ negation. I know how to use the Laws of Logic to prove logical equivalent, but no idea about logical implication.
Another question i have is using all logic laws to this impication legit?Whats the steps (a general understanding for solving this)?