How do you write the negation of if and then?

Answer:
If p then q is represented as p -> q
Negation of "if p then q" is represented as ~(p -> q)
First answer by Vinayg18. Last edit by Vinayg18. Contributor trust: 6 [recommend contributor recommended]. Question popularity: 1 [recommend question].