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

For your posted first expression: not(a and notb)

Write it symbolically as ~(a ^ ~b) --> The character ^ means "and."

Then, given: notb which is ~b in symbolic form.

Show: nota which is ~a in symbolic form.

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

Are you studying on the go? Check out our FREE app and post questions on the fly!
Download on the
App Store
...
Apr 11th, 2015
...
Apr 11th, 2015
Dec 9th, 2016
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