Negation

Negation refers to the situation in which something is said not to be the case. In propositional logic, it is the logical operation which turns the truth value of a proposition into its opposite. Proposition Neg phi is true if and only if phi is not true:

(i)	phi		Neg phi 1		  0 	 0		   1

The negation operator Neg is a unary connective. In syllogistic logic, negation can be an operator on terms. Thus in nobody is ill, the term nobody is considered the negation of somebody.

Term properties
Relational adjective: negative

Subtypes

 * Direct negation
 * Double negation
 * External negation
 * Indirect negation
 * Internal negation
 * Sentential negation

Links
Utrecht Lexicon of Linguistics

Other languages

 * French négation
 * German Negation (de), Verneinung