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

Mathematics
Tutor: None Selected Time limit: 1 Day

Apr 11th, 2015

The task is to show that ~(a ^ ~b) implies ~a if given ~b

~(a ^ ~b) ==> ~a V ~(~b) ==> ~a V b.

~a V b

~b

Apr 11th, 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
Mar 26th, 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