Negation is an unary operation that changes the truth value of a logical object. If the value is true, negation changes the value to false. If the value is false, negation changes the value to true.
The negative of a negative of a proposition, called a double negative, is equal to the original proposition: . This means that a double negative can be eliminated from a proposition without changing the truth value of the proposition.
There are a number of different ways to write negation. See table 2.
|'not A'||This notation is used in mathematics. Since it is not found on a standard computer keyboard, one of the other notations are usually substituted for non-professional publications.|
|'not A'||This notation is used in mathematics.|
|'not A'||This notation is used in mathematics. Either ¬A or ~A are preferred.|
|'bar A'||This notation is used in mathematics.|
|'A prime' or 'A complement'||This notation is often used in set theory.|
|'bang A'||This notation is used in most computer languages and some mathematics software.|
|'not A'||This notation is used in the computer language fortran.|
|Table 2: Negation notation.|
All Math Words Encyclopedia is a service of
Life is a Story Problem LLC.
Copyright © 2005-2011 Life is a Story Problem LLC. All rights reserved.
This work is licensed under a Creative Commons Attribution-Noncommercial-Share Alike 3.0 License