- #1
MiffedMFG1106St
- 3
- 0
~(p -> ~q) <=> ?
I am having a heck of a time figuring this out, and I keep basically wanting to distribute the negation symbol to each individual simple statement in the conditional statement arriving at...
~[~(p -> ~q)] <=> ?
~(~p -> q) <=> ?
p -> ~q <=> ~p V ~q <=> ~(p ^ q)
But the book says I should come to p ^ q.
What am I doing wrong here.
I am having a heck of a time figuring this out, and I keep basically wanting to distribute the negation symbol to each individual simple statement in the conditional statement arriving at...
~[~(p -> ~q)] <=> ?
~(~p -> q) <=> ?
p -> ~q <=> ~p V ~q <=> ~(p ^ q)
But the book says I should come to p ^ q.
What am I doing wrong here.