Actions

::Negation

::concepts



{{#invoke:Hatnote|hatnote}} {{ safesubst:#invoke:Unsubst||$N=More footnotes |date=__DATE__ |$B= {{#invoke:Message box|ambox}} }} {{ safesubst:#invoke:Unsubst||$N=Use dmy dates |date=__DATE__ |$B= }}

In logic, negation, also called logical complement, is an operation that takes a proposition p to another proposition "not p", written ¬p, which is interpreted intuitively as being true when p is false and false when p is true. Negation is thus a unary (single-argument) logical connective. It may be applied as an operation on propositions, truth values, or semantic values more generally. In classical logic, negation is normally identified with the truth function that takes truth to falsity and vice versa. In intuitionistic logic, according to the Brouwer–Heyting–Kolmogorov interpretation, the negation of a proposition p is the proposition whose proofs are the refutations of p.


Negation sections
Intro  Definition  Notation  Properties  Rules of inference  Programming  Kripke semantics  See also  References   Further reading   [[Negation?section=External</a>_links|External</a> links]]  

PREVIOUS: IntroNEXT: Definition
<<>>

''p''::negation    Logical::logic    Negation::style    Value::false    Negative::center    Algebra::language

{{#invoke:Hatnote|hatnote}} {{ safesubst:#invoke:Unsubst||$N=More footnotes |date=__DATE__ |$B= {{#invoke:Message box|ambox}} }} {{ safesubst:#invoke:Unsubst||$N=Use dmy dates |date=__DATE__ |$B= }}

In logic, negation, also called logical complement, is an operation that takes a proposition p to another proposition "not p", written ¬p, which is interpreted intuitively as being true when p is false and false when p is true. Negation is thus a unary (single-argument) logical connective. It may be applied as an operation on propositions, truth values, or semantic values more generally. In classical logic, negation is normally identified with the truth function that takes truth to falsity and vice versa. In intuitionistic logic, according to the Brouwer–Heyting–Kolmogorov interpretation, the negation of a proposition p is the proposition whose proofs are the refutations of p.


Negation sections
Intro  Definition  Notation  Properties  Rules of inference  Programming  Kripke semantics  See also  References   Further reading   [[Negation?section=External</a>_links|External</a> links]]  

PREVIOUS: IntroNEXT: Definition
<<>>