- #1
kof9595995
- 679
- 2
In logical implication (p implies q), if p is false, then no matter q is true or false, p implies q is true. But I think the negative of "p implies q" is "p implies not q", if so, if p is false, both "p implies q" and its negative are true, which is not possible. So is the negative of "p implies q" "p does not imply q"?