In logics and mathematics, negation (from Latin negare ‘to deny’) is the unary operation “” which swaps the truth value of any operand to the truth value. So, if the statement is true then its negated statement is false, and vice versa.
Note 1. The negated statement (by Heyting) has been denoted also with (Peano), (Russell), (Hilbert) and (by the Polish notation).
Analogical results concern the quantifier statements:
These all are known as de Morgan’s laws.
|Date of creation||2015-04-25 17:44:13|
|Last modified on||2015-04-25 17:44:13|
|Last modified by||pahio (2872)|