Wikidata

(Q190558)

English

logical negation

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; unary (single-argument) logical connective

  • negation
  • logical complement
  • complement
  • logical NOT
  • NOT operation
In more languages

Statements

image
Venn10.svg
280 × 280; 2 KB
0 references
has characteristic
change
0 references
notation
not sign
0 references
TeX string
\lnot
0 references
\neg
0 references
Unicode character
¬
0 references
Commons category
Negation
0 references

Identifiers

GND ID
4137553-1
0 references
De Agostini ID
negazióne
subject named as
negazióne
0 references
IEV number
171-03-10
0 references
MathWorld ID
Negation
subject named as
Negation
0 references
TDKIV term ID
000012825
0 references
Treccani ID
negazione
subject named as
Negazione
0 references
 
edit
edit
    edit
      edit
      edit
        edit
          edit
            edit
              edit
              Retrieved from "https://www.wikidata.org/w/index.php?title=Q190558&oldid=2093809065"