Time remaining:
Write a proof sequence for the following assertion. Justify one of the steps in

label Mathematics
account_circle Unassigned
schedule 0 Hours
account_balance_wallet $5

Apr 11th, 2015

Assume ~(a and ~b)

By De Morgan's Law*,  ~(a and ~b)    is equivalent to     ~a or ~(~b),    which can be written  ~a or b 

Now suppose ~b

Since we assumed the equivalent of     ~a or b    as our premise, then supposing  ~b implies ~a.


*Note: I'm guessing that De Morgan's Law (  ~(p and q) = ~p or ~q)  was covered in a previous question. Check using a truth table to verify for yourself that this is true.

May 18th, 2015

Did you know? You can earn $20 for every friend you invite to Studypool!
Click here to
Refer a Friend
...
Apr 11th, 2015
...
Apr 11th, 2015
Jun 23rd, 2017
check_circle
Mark as Final Answer
check_circle
Unmark as Final Answer
check_circle
Final Answer

Secure Information

Content will be erased after question is completed.

check_circle
Final Answer