Negate "if, then"

12 years ago
This video explains why the negation of an if then statement "If P, then Q" is "P and not Q". We only go over one example since I spend most of the time developing the formula for the negation.