propositional calculus 2

[chrislav]

prove in statement calculus the following:

[math](p\implies q)\implies((\neg p\vee q)\vee (s\implies w))[/math]
using the laws of propositional logic

 

[pka]

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

[imath]p\implies q\\\implies\neg p\vee q\text{ Impl.}\\\implies(\neg p\vee q)\vee(s\implies w)\text{ addition}[/imath][imath][/imath][imath][/imath]