P -> Q
is equivalent to ~P v Q
, so why isn't P -> ~Q
equivalent to ~P v ~Q
?
I can't figure out why the rule for P -> Q
does not apply to P -> ~Q
.
P -> Q
is equivalent to ~P v Q
, so why isn't P -> ~Q
equivalent to ~P v ~Q
?
I can't figure out why the rule for P -> Q
does not apply to P -> ~Q
.
What do you mean does not apply?
P Q ~P ~Q P->Q ~P v Q P->~Q ~P v ~Q
=================================================
0 0 1 1 1 = 1 1 = 1
0 1 1 0 1 = 1 1 = 1
1 0 0 1 0 = 0 1 = 1
1 1 0 0 1 = 1 0 = 0
As for me, everything matches.