propositional calculus 2

[chrislav]

prove in statement calculus the following:

$$(p\implies q)\implies((\neg p\vee q)\vee (s\implies w))$$
using the laws of propositional logic

 

[pka]

prove in statement calculus the following:
$$(p\implies q)\implies((\neg p\vee q)\vee (s\implies w))$$using the laws of propositional logic

$p\implies q\\\implies\neg p\vee q\text{ Impl.}\\\implies(\neg p\vee q)\vee(s\implies w)\text{ addition}$$$$$