A logical argument that provides the most basic false form of a given statement. The negation of the statement 'The car is red' is 'The car is not red'. This can get confusing, however. For example the negation of 'All cars are red' is 'Not all cars are red' or 'One car is not red', NOT 'All cars are not red.' Be careful. A statement and its negation cannot be simultaneously true. (See contradiction).