Appendix A - The Language of Mathematics - Exercises - Page A5: 4

The triangle $ABC$ is not an isosceles triangle.

We set $A$ to refer to the type of a triangle which is isosceles and hence $A$ is true. The negation of $A$ must be false, so we can say: The triangle $ABC$ is not an isosceles triangle.