200k views
1 vote
if ralph doesnt do his homework or he doesnt feel sick, then he will go to the party and stay up late

User Domlao
by
7.7k points

1 Answer

4 votes

By Direct Proof :

1.(∼H(x)∨∼S(x))→(P(x)∨L(x))1.(∼H(x)∨∼S(x))→(P(x)∨L(x))

2.P(x)→E(x)2.P(x)→E(x)

3.∼E(x)3.∼E(x)
−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−

4.H(x)4.H(x)

5.P(x)→E(x)≡∼P(x)∨E(x)5.P(x)→E(x)≡∼P(x)∨E(x) by Material Implication

6.∼P(x)6.∼P(x) , #5 and #3 by Disjunctive Syllogism

7.∼P(x)∨∼L(x)7.∼P(x)∨∼L(x) , #6 by Addition ( I just add ∼∼L(x))

Since #7 is logically equivalent to ∼(P(x)∨L(x))∼(P(x)∨L(x)) by De Morgan's Law,

8.∼(∼H(x)∨∼S(x))8.∼(∼H(x)∨∼S(x)) , #1 and #7 by Modus Tollens.

Distributing the ∼∼, we'll have,

9.H(x)∧S(x)9.H(x)∧S(x) by De Morgan's and Double Negation

10.H(x)10.H(x) by Simplification

User Michael Ballent
by
9.0k points

No related questions found

Welcome to QAmmunity.org, where you can ask questions and receive answers from other members of our community.

9.4m questions

12.2m answers

Categories