Negation
In logic, negation, also called the logical complement, is an operation that takes a proposition to another proposition "not ", written , or . It is interpreted intuitively as being true when is false, and false when is true. Negation is thus a unary (single-argument) logical connective. It may be applied as an operation on notions, 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 is the proposition whose proofs are the refutations of .
Wikipage disambiguates
! (disambiguation)!vote(ε, δ)-definition of limit.properties2-valued morphism3APLAPL syntax and symbolsASCIIAbhavaActual idealismAdmissible ruleAffirmation and negationAl-ZamakhshariAlfred TarskiAlgebraic normal formAlgebraic specificationAlgorithmic state machineAlternating bit protocolAmerican Sign Language grammarAmstrad CPC character setAnalytic–synthetic distinctionAnd-inverter graphAndrea MoroAndrzej_GrzegorczykApophatic theologyAraki languageArityAspects of the Theory of SyntaxAtari BASICAtari ST character setAttempto Controlled EnglishAustralian EnglishAxiomBayesian inferenceBegriffsschriftBengali phonologyBimal Krishna MatilalBinary decision diagramBinary expression treeBinary number
Link from a Wikipage to another Wikipage
hypernym
primaryTopic
Negation
In logic, negation, also called the logical complement, is an operation that takes a proposition to another proposition "not ", written , or . It is interpreted intuitively as being true when is false, and false when is true. Negation is thus a unary (single-argument) logical connective. It may be applied as an operation on notions, 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 is the proposition whose proofs are the refutations of .
has abstract
Dalam logika matematika, negas ...... ar bahwa p", dsb.
* l
*
* s
@in
En logique et en mathématiques ...... l sert à nier une proposition.
@fr
En lògica i matemàtica, la neg ...... ó de p, és la seva complement.
@ca
En lógica y matemática, la neg ...... bas son las refutaciones de p.
@es
In logic, negation, also calle ...... roofs are the refutations of .
@en
In logica e in matematica con ...... à inverso di una proposizione.
@it
Logická negace (používá se pro ...... 1 označuje pravdivé tvrzení):
@cs
Logische negatie of ontkenning ...... onwaar en van onwaar in waar.
@nl
Negacja (z łac. negatio inacze ...... da, że p i nie jest tak, że p.
@pl
Negation (von lateinisch negar ...... nen zum Beispiel Konventionen.
@de
Link from a Wikipage to an external page
Wikipage page ID
page length (characters) of wiki page
Wikipage revision ID
1,017,409,870
Link from a Wikipage to another Wikipage
0-preserving
no
@en
1-preserving
no
@en
affine
yes
@en
id
p/n066170
@en
logic gate
@en
monotone
no
@en
other titles
NOT
@en
self-dual
yes
@en
title
Negation
@en
wikiPageUsesTemplate
hypernym
comment
Dalam logika matematika, negas ...... ar bahwa p", dsb.
* l
*
* s
@in
En logique et en mathématiques ...... l sert à nier une proposition.
@fr
En lògica i matemàtica, la neg ...... ó de p, és la seva complement.
@ca
En lógica y matemática, la neg ...... bas son las refutaciones de p.
@es
In logic, negation, also calle ...... roofs are the refutations of .
@en
In logica e in matematica con ...... à inverso di una proposizione.
@it
Logická negace (používá se pro ...... 1 označuje pravdivé tvrzení):
@cs
Logische negatie of ontkenning ...... onwaar en van onwaar in waar.
@nl
Negacja (z łac. negatio inacze ...... da, że p i nie jest tak, że p.
@pl
Negation (von lateinisch negar ...... nen zum Beispiel Konventionen.
@de
label
Logika neo
@eo
Logische negatie
@nl
Negace
@cs
Negació lògica
@ca
Negación lógica
@es
Negacja
@pl
Negasi
@in
Negation
@de
Negation
@en
Negation
@sv