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

Oct 20th, 2017

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

Studypool's Notebank makes it easy to buy and sell old notes, study guides, reviews, etc.
Click to visit
The Notebank
...
Oct 20th, 2017
...
Oct 20th, 2017
Oct 20th, 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