Question

Write a statement that is equivalent to p → ~q ? Type "->" in place of "→"

Answer 1

Hints:

p -> q

is equivalent to

~q -> ~p

---------------

Also

~(~p) or ~~p

is the same as

p

Answer 2

so then p _.~q is equivalent to ~q -> ~p?

Answer 3

close

Answer 4

p -> ~q

is equivalent to

~~q -> ~p

Answer 5

since ~~q becomes just q, we can say

~~q -> ~p

is equivalent to

q -> ~p

Answer 6

So

p -> ~q

is equivalent to

q -> ~p

Answer 7

and ~p → q is equivalent to ~ ~ p?

Answer 8

no

~p -> q

is NOT equivalent to

~~p

Answer 9

then what is equivalent to ~p -> q?

Answer 10

~p -> q

~q -> ~~p

~q -> p

Do you see how I'm getting this?

Answer 11

not really, im kinda new to this so its confuzing

Answer 12

If you have

p -> q

you can flip it to

q -> p

BUT, you have to attach ~ in front of each to get

~q -> ~p

------------------

So

p -> q

is the same as

~q -> ~p

Answer 13

Make sense so far?

Answer 14

yea

Answer 15

so if I have ~p -> q, I can flip it to q -> ~p

Then stick on ~ in front of each to get ~q -> ~~p

Finally, use the idea that ~~p is the same as p

So ~q -> ~~p becomes ~q -> p

--------------------------------------------

So

~p -> q

is the same as

~q -> p

Answer 16

ohh ok...

Answer 17

thanks :)

Answer 18

yw