In logic, negation, also called the logical complement, is an operation that takes a proposition to another proposition "not ", written , which 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 .

Property Value
dbo:abstract
  • في الجبر البوليني والرياضيات، النفي هو عملية أو رابط بين القيم وعكسها، مثلا من صحيح إلى خطأ ومن خطأ إلى صحيح، أو من القيمة المنطقية (0) إلى القيمة المنطقية (1) والعكس. (ar)
  • Logická negace (používá se pro ni symbol nebo , popř. se označuje pruhem nad proměnnou) je unární logická operace, která vezme výrok "p" do dalšího výroku "ne p", psáno ¬p, který je samostatně interpretován jako pravda, když p je nepravda nebo jako nepravda, když p je pravda.Pro vstup vypadá pravdivostní tabulka negace následovně (0 označuje nepravdivé tvrzení, 1 označuje pravdivé tvrzení): (cs)
  • Negation (von lateinisch negare ‚verneinen‘) ist Ablehnung, Verneinung oder Aufhebung; verneint werden können zum Beispiel Aussagen, abgelehnt werden können zum Beispiel moralische Werte, aufgehoben werden können zum Beispiel Konventionen. (de)
  • In logic, negation, also called the logical complement, is an operation that takes a proposition to another proposition "not ", written , which 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 . (en)
  • En logiko, la logika neo (esprimita per ne) estas unuargumenta logika operacio, kiu nur rezultigas veran frazon, se ĝia argumento estas falsa. La operacio estadas skribita per signo ! (krisigno, por plena logiko) aŭ per signo ~ (tildo, por laŭbita logiko) aŭ per signo ¬ (kodo deksesuma AC en unikodo, ¬ en HTML). Tia operacio nomiĝas ankaǔ negacio. Ĝia vertabelo do estas (uzataj valoroj estas mallongigoj de Vera kaj Falsa): La alia maniero de skribo de la sama vertabelo estas per uzo de nombro 1 por Vera kaj 0 por Falsa: Laŭbita logika neo same operacias por ĉiu bito de nombro kaj produktas la rezultan nombron. Ekzemple (la nombroj estas deksesumaj) ~0x567F = 0xA980. En programlingvoj (C, C++) pro laŭbita logika neo estas uzata signo ~ kaj por plena logika neo estas uzata signo '!'. Por sensignaj nombroj, la laŭbita neo dependas de reala kvanto de bitoj, uzataj por konservi nombron, ĉar la kvanto de la plej signifaj ciferoj ne gravas se ili ĉiuj estas nulaj, sed post la logiko neo ili estas jam ne nulaj. Ekzemple, por 16-bitaj kaj 32-bitaj nombroj: ~0x567F = 0xA980~0x0000567F = 0xFFFFA980 Por sensignaj nombroj, la logika neo estas la samo kiel subtraho de la nombro el maksimuma nombro, kiu povas esti priskribita: ~a = nmax-a.kie nmax estas la maksimuma nombro, fakte la maksimuma nombro mem estas logika neo de nulo:nmax=~0 Ekzemple, por 32-bitaj nombroj: ~0x000567F = 0xFFFFA9800xFFFFFFFF-0x000567F = 0xFFFFA980 Por signaj nombroj, la logika neo estas la samo kiel aritmetika neo kaj poste subtraho de 1: ~a=-a-1 En elektroniko por logika neo estadas specialaj . (eo)
  • En lógica y matemática, la negación, también llamada complemento lógico, es una operación sobre proposiciones, valores de verdad, o en general, valores semánticos. Intuitivamente, la negación de una proposición es verdadera cuando dicha proposición es falsa, y viceversa. En lógica clásica la negación normalmente se identifica con la función de verdad que cambia su valor de verdadero a falso y viceversa. En lógica intuicionista, de acuerdo a la interpretación de Brouwer–Heyting–Kolmogorov, la negación de una proposición p es la proposición cuyas pruebas son las refutaciones de p. (es)
  • En logique et en mathématiques, la négation est un opérateur logique unaire. Il sert à nier une proposition. (fr)
  • Dalam logika matematika, negasi, atau ingkaran adalah operasi matematika terhadap suatu pernyataan, baik tunggal maupun majemuk. Operasi negasi membalikkan nilai kebenaran suatu pernyataan. Jika p bernilai benar, maka ~p bernilai salah. Sebaliknya, jika p bernilai salah, maka ~p bernilai benar. Bentuk ~p biasa dibaca "bukan p", "tidak p", "tidak benar bahwa p", dsb. (in)
  • In logica e in matematica con negazione si intende un'operazione logica unitaria, che restituisce il valore di verità inverso di una proposizione. (it)
  • 数理論理学において否定 (ひてい、英: Negation) とは、命題の真と偽を反転する論理演算である。否定は英語で Not であるが、Invert とも言われ論理演算ではインバージョン(Inversion)、論理回路では Not回路やインバータ回路(Inverter)とも呼ばれ入力に対して出力が反転する。 命題 P に対する否定を ¬P, P, !P などと書いて、「P でない」とか「P の否定」、「P 以外の場合」などと読む。 (ja)
  • 수리 논리학에서 부정(否定)은 명제의 참과 거짓을 반전하는 논리 연산이다. 명제 P에 대한 부정을 ¬P, , ~p,!P등으로 쓰고, ‘P 가 아니다’, ‘P 의 부정’, ‘P 이외의 경우’라고 읽는다. (ko)
  • Negacja (z łac. negatio inaczej zaprzeczenie, ¬) – zdanie mające postać nieprawda, że p, gdzie p jest zdaniem. W rachunku zdań negacja zapisywana jest jako: (także lub ). Negację można zdefiniować ściślej jako jednoargumentowe działanie (funktor zdaniotwórczy) określone w zbiorze zdań, które każdemu zdaniu p przyporządkowuje zdanie nie p. Inne przyjęte sposoby odczytywania zdania to nieprawda, że p i nie jest tak, że p. (pl)
  • Logische negatie of ontkenning is een operatie in de natuurlijke talen, logica en wiskunde die de waarheidswaarde van een propositie verandert van waar in onwaar en van onwaar in waar. (nl)
  • Negação, em lógica e matemática, é uma operação unária sobre valores lógicos, por exemplo o valor lógico de uma proposição. Se a proposição é verdadeira, então o operador lógico negação produz o valor falso, e vice versa. (pt)
  • Отрица́ние (инве́рсия, от лат. inversio — переворот, логи́ческое «НЕ») в логике — унарная операция над суждениями, результатом которой является суждение (в известном смысле) «противоположное» исходному. Обозначается знаком ¬ перед или чертой — над суждением. Как в классической, так и в интуиционистской логике «двойное отрицание» является следствием суждения , то есть имеет место тавтология:. Обратное утверждение верно в классической логике (закон двойного отрицания), но не имеет места в интуиционистской. То есть, отрицание отрицания искомого утверждения не может служить интуиционистским доказательством, в отличие от классической логики. Это различие двух логических систем обычно полагается главным. (ru)
  • 逻辑非是布尔代数中一种一元运算。它的运算结果是将运算元的真值取反。 命题A的非可以有几种写法: * A(A上加一横) * ~A * ¬A * NOT A * !A 以上可以读做"A不成立"或者"非A"。 ¬p的真值表定義如下: ~A即在A的条件下,结论不成立。例如,如果A代表命题“今天星期六”,则它的~A代表命题“今天不是星期六”或“今天是星期日、一、二、三、四或五”。 ~A为真当且仅当A为假。 (zh)
  • Заперечення в логіці — унарна операція над судженнями, результат якої — судження (у відомому сенсі) «протилежне» початковому. Позначається знаком ¬ перед або рискою над судженням. Синонім: логічне «НЕ». Як у класичній, так і в інтуїціоністській логіці «подвійне заперечення» ¬¬A — наслідок судження A, тобто має місце тавтологія:. В класичній логіці заперечення зазвичай інтерпретують як функцію, що переводить істину в хибність і навпаки. А в інтуїціоністській логіці зазвичай під запереченням твердження приймається спростування . Обернене твердження правильне в класичній логіці (закон подвійного заперечення), але не має місця в інтуїціоністській. Тобто, заперечення шуканого твердження не може бути інтуїціоністським доказом, на відміну від класичної логіки. Цю відмінність двох логічних систем зазвичай уважають головною. У логіці й математиці заперечення ще називається логічним доповненням. Це операція на пропозиції, істинності значення, або семантичні значення в цілому. Інтуїтивно зрозуміло, що заперечення істинне, коли твердження є хибним, і навпаки. У класичній логіці заперечення, як правило, ототожнюється з істиною функції, яка приймає істину хибністю та навпаки. У семантиці Кріпке, заперечення — це теоретико-множинне доповнення. Множиною істини заперечення судження є доповнення множини істини самого судження до універсальної множини, з якої вибираються елементи. (uk)
dbo:wikiPageExternalLink
dbo:wikiPageID
  • 161019 (xsd:integer)
dbo:wikiPageLength
  • 17772 (xsd:integer)
dbo:wikiPageRevisionID
  • 983912740 (xsd:integer)
dbo:wikiPageWikiLink
dbp:0Preserving
  • no (en)
dbp:1Preserving
  • no (en)
dbp:affine
  • yes (en)
dbp:id
  • p/n066170 (en)
dbp:logicGate
  • NOT_ANSI.svg (en)
dbp:monotone
  • no (en)
dbp:otherTitles
  • NOT (en)
dbp:selfDual
  • yes (en)
dbp:title
  • Negation (en)
dbp:wikiPageUsesTemplate
dct:subject
rdf:type
rdfs:comment
  • في الجبر البوليني والرياضيات، النفي هو عملية أو رابط بين القيم وعكسها، مثلا من صحيح إلى خطأ ومن خطأ إلى صحيح، أو من القيمة المنطقية (0) إلى القيمة المنطقية (1) والعكس. (ar)
  • Logická negace (používá se pro ni symbol nebo , popř. se označuje pruhem nad proměnnou) je unární logická operace, která vezme výrok "p" do dalšího výroku "ne p", psáno ¬p, který je samostatně interpretován jako pravda, když p je nepravda nebo jako nepravda, když p je pravda.Pro vstup vypadá pravdivostní tabulka negace následovně (0 označuje nepravdivé tvrzení, 1 označuje pravdivé tvrzení): (cs)
  • Negation (von lateinisch negare ‚verneinen‘) ist Ablehnung, Verneinung oder Aufhebung; verneint werden können zum Beispiel Aussagen, abgelehnt werden können zum Beispiel moralische Werte, aufgehoben werden können zum Beispiel Konventionen. (de)
  • In logic, negation, also called the logical complement, is an operation that takes a proposition to another proposition "not ", written , which 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 . (en)
  • En lógica y matemática, la negación, también llamada complemento lógico, es una operación sobre proposiciones, valores de verdad, o en general, valores semánticos. Intuitivamente, la negación de una proposición es verdadera cuando dicha proposición es falsa, y viceversa. En lógica clásica la negación normalmente se identifica con la función de verdad que cambia su valor de verdadero a falso y viceversa. En lógica intuicionista, de acuerdo a la interpretación de Brouwer–Heyting–Kolmogorov, la negación de una proposición p es la proposición cuyas pruebas son las refutaciones de p. (es)
  • En logique et en mathématiques, la négation est un opérateur logique unaire. Il sert à nier une proposition. (fr)
  • Dalam logika matematika, negasi, atau ingkaran adalah operasi matematika terhadap suatu pernyataan, baik tunggal maupun majemuk. Operasi negasi membalikkan nilai kebenaran suatu pernyataan. Jika p bernilai benar, maka ~p bernilai salah. Sebaliknya, jika p bernilai salah, maka ~p bernilai benar. Bentuk ~p biasa dibaca "bukan p", "tidak p", "tidak benar bahwa p", dsb. (in)
  • In logica e in matematica con negazione si intende un'operazione logica unitaria, che restituisce il valore di verità inverso di una proposizione. (it)
  • 数理論理学において否定 (ひてい、英: Negation) とは、命題の真と偽を反転する論理演算である。否定は英語で Not であるが、Invert とも言われ論理演算ではインバージョン(Inversion)、論理回路では Not回路やインバータ回路(Inverter)とも呼ばれ入力に対して出力が反転する。 命題 P に対する否定を ¬P, P, !P などと書いて、「P でない」とか「P の否定」、「P 以外の場合」などと読む。 (ja)
  • 수리 논리학에서 부정(否定)은 명제의 참과 거짓을 반전하는 논리 연산이다. 명제 P에 대한 부정을 ¬P, , ~p,!P등으로 쓰고, ‘P 가 아니다’, ‘P 의 부정’, ‘P 이외의 경우’라고 읽는다. (ko)
  • Negacja (z łac. negatio inaczej zaprzeczenie, ¬) – zdanie mające postać nieprawda, że p, gdzie p jest zdaniem. W rachunku zdań negacja zapisywana jest jako: (także lub ). Negację można zdefiniować ściślej jako jednoargumentowe działanie (funktor zdaniotwórczy) określone w zbiorze zdań, które każdemu zdaniu p przyporządkowuje zdanie nie p. Inne przyjęte sposoby odczytywania zdania to nieprawda, że p i nie jest tak, że p. (pl)
  • Logische negatie of ontkenning is een operatie in de natuurlijke talen, logica en wiskunde die de waarheidswaarde van een propositie verandert van waar in onwaar en van onwaar in waar. (nl)
  • Negação, em lógica e matemática, é uma operação unária sobre valores lógicos, por exemplo o valor lógico de uma proposição. Se a proposição é verdadeira, então o operador lógico negação produz o valor falso, e vice versa. (pt)
  • 逻辑非是布尔代数中一种一元运算。它的运算结果是将运算元的真值取反。 命题A的非可以有几种写法: * A(A上加一横) * ~A * ¬A * NOT A * !A 以上可以读做"A不成立"或者"非A"。 ¬p的真值表定義如下: ~A即在A的条件下,结论不成立。例如,如果A代表命题“今天星期六”,则它的~A代表命题“今天不是星期六”或“今天是星期日、一、二、三、四或五”。 ~A为真当且仅当A为假。 (zh)
  • En logiko, la logika neo (esprimita per ne) estas unuargumenta logika operacio, kiu nur rezultigas veran frazon, se ĝia argumento estas falsa. La operacio estadas skribita per signo ! (krisigno, por plena logiko) aŭ per signo ~ (tildo, por laŭbita logiko) aŭ per signo ¬ (kodo deksesuma AC en unikodo, ¬ en HTML). Tia operacio nomiĝas ankaǔ negacio. Ĝia vertabelo do estas (uzataj valoroj estas mallongigoj de Vera kaj Falsa): La alia maniero de skribo de la sama vertabelo estas per uzo de nombro 1 por Vera kaj 0 por Falsa: Ekzemple, por 16-bitaj kaj 32-bitaj nombroj: ~a=-a-1 (eo)
  • Отрица́ние (инве́рсия, от лат. inversio — переворот, логи́ческое «НЕ») в логике — унарная операция над суждениями, результатом которой является суждение (в известном смысле) «противоположное» исходному. Обозначается знаком ¬ перед или чертой — над суждением. Как в классической, так и в интуиционистской логике «двойное отрицание» является следствием суждения , то есть имеет место тавтология:. (ru)
  • Заперечення в логіці — унарна операція над судженнями, результат якої — судження (у відомому сенсі) «протилежне» початковому. Позначається знаком ¬ перед або рискою над судженням. Синонім: логічне «НЕ». Як у класичній, так і в інтуїціоністській логіці «подвійне заперечення» ¬¬A — наслідок судження A, тобто має місце тавтологія:. Множиною істини заперечення судження є доповнення множини істини самого судження до універсальної множини, з якої вибираються елементи. (uk)
rdfs:label
  • نفي (رياضيات) (ar)
  • Negace (cs)
  • Negation (de)
  • Negation (en)
  • Logika neo (eo)
  • Negación lógica (es)
  • Négation logique (fr)
  • Negasi (in)
  • 否定 (ja)
  • Negazione (matematica) (it)
  • 부정 (논리학) (ko)
  • Logische negatie (nl)
  • Negação (pt)
  • Negacja (pl)
  • Отрицание (ru)
  • Заперечення (uk)
  • 逻辑非 (zh)
rdfs:seeAlso
owl:sameAs
prov:wasDerivedFrom
foaf:isPrimaryTopicOf
is dbo:wikiPageDisambiguates of
is dbo:wikiPageRedirects of
is dbo:wikiPageWikiLink of
is foaf:primaryTopic of