C chrislav Junior Member Joined Jun 22, 2017 Messages 145 Feb 6, 2022 #1 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
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 Elite Member Joined Jan 29, 2005 Messages 11,978 Feb 6, 2022 #2 chrislav said: 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 Click to expand... [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]
chrislav said: 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 Click to expand... [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]
