Negation (original) (raw)

About DBpedia

En lògica i matemàtica, la negació, també anomenada complement lògic, és una operació sobre proposicions, valors de veritat, o en general, valors semàntics. Intuïtivament, la negació d'una proposició és veritable quan aquesta proposició és falsa, i viceversa. En lògica clàssica la negació està normalment identificada amb la funció de veritat que canvia el seu valor de veritable a fals i viceversa. En , d'acord amb la , la negació d'una proposició p és la proposició les proves són les refutacions de p. A la , on els valors semàntics de les fórmules són conjunts de possibles mons, la negació de p, és la seva complement.

thumbnail

Property Value
dbo:abstract En lògica i matemàtica, la negació, també anomenada complement lògic, és una operació sobre proposicions, valors de veritat, o en general, valors semàntics. Intuïtivament, la negació d'una proposició és veritable quan aquesta proposició és falsa, i viceversa. En lògica clàssica la negació està normalment identificada amb la funció de veritat que canvia el seu valor de veritable a fals i viceversa. En , d'acord amb la , la negació d'una proposició p és la proposició les proves són les refutacions de p. A la , on els valors semàntics de les fórmules són conjunts de possibles mons, la negació de p, és la seva complement. (ca) في الجبر البوليني والرياضيات، النفي هو عملية أو رابط بين القيم وعكسها، مثلا من صحيح إلى خطأ ومن خطأ إلى صحيح، أو من القيمة المنطقية (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) 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) Logikan eta matematikan, ukapena edo ezeztapena enuntziatuen arteko operaketa da, enuntziatu bat "ez " enuntziatu batera ( , edo irakurtzen dena) eramaten duena. ukapena normalean egiazko funtzioekin erlazionatzen da, zeinak bere balioa egiatik gezurrera aldatzen duen eta alderantziz. Intuitiboki, enuntziatu baten ukapena egia da baldin eta proposizio hori gezurra bada eta alderantziz. (eu) 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) 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 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 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 sebuah operasi yang mengambil ke proposisi lain "yang bukan ". Negasi dinyatakan dalam notasi , atau . Secara intuitif, operasi ini dipandang benar ketika salah, dan salah ketika benar. Jadi, negasi merupakan uner. Negasi dapat diterapkan sebagai operasi tentang , , , atau lebih umumnya, . Dalam , negasi biasanya diidentifikasi dengan yang mengambil kebenaran menjadi kepalsuan, begitupula sebaliknya. Namun dalam , menurut , negasi dari proposisi adalah proposisi yang buktinya merupakan penyangkalan . (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) 수리 논리학에서 부정(否定)은 명제의 참과 거짓을 반전하는 논리 연산이다. 명제 P에 대한 부정을 ¬P, , ~p, !P등으로 쓰고, ‘P 가 아니다’, ‘P 의 부정’, ‘P 이외의 경우’라고 읽는다. (ko) 数理論理学において否定 (ひてい、英: Negation) とは、命題の真と偽を反転する論理演算である。否定は英語で Not であるが、Invert とも言われ論理演算ではインバージョン（Inversion）、論理回路では Not回路やインバータ回路（Inverter）とも呼ばれ入力に対して出力が反転する。 命題 P に対する否定を ¬P, P, !P などと書いて、「P でない」とか「P の否定」、「P 以外の場合」などと読む。 (ja) 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) Отрица́ние (инве́рсия, от лат. inversio — переворот, логи́ческое «НЕ») в логике — унарная операция над суждениями, результатом которой является суждение, «противоположное» исходному. Обозначается знаком ¬ перед или чертой — над суждением. Как в классической, так и в интуиционистской логике «двойное отрицание» является следствием суждения , то есть имеет место тавтология:. Обратное утверждение верно в классической логике (закон двойного отрицания), но не имеет места в интуиционистской. То есть отрицание отрицания искомого утверждения не может служить интуиционистским доказательством, в отличие от классической логики. Это различие двух логических систем обычно полагается главным. (ru) 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) Negation är i logiken ett förnekande av en sats på ett sådant sätt att, om satsen A är sann, så är icke-A falsk och om A är falsk, så är icke-A sann. Negationen av satsen A skrivs som ¬A, där ¬ är ett konnektiv. Negationen av satsen "Det regnar", är satsen "Det regnar inte". I vardagsspråket motsvaras negation av orden "ej", "icke" eller "inte". Dessa betecknas i formella system med ¬ eller ibland med ~ , vilka skrivs framför påståendet. Mer explicit motsvaras negation av att uttrycket "det är inte så att..." sätts framför påståendet. Ett negerat påstående kan uttrycka två olika meningar: 1. * Negation av ett påståendes betydelse bildar ett nytt påstående som uttrycker dess motsatta komplementära betydelse; Språkligt: "det är inte så att p", det vill säga "det är så att icke-p", Formellt: "¬p". 2. * Negation av ett påståendes sanning bildar ett påstående som förnekar sanningen hos det ursprungliga påståendet. Språkligt: "det är inte så att det är sant att p" eller kortare "det är inte sant att p", det vill säga "det är falskt att p". Formellt: "Fp" (F = "det är falskt att"). Sammanblandning av dessa båda betydelser och vad som följer av det är en vanlig källa till filosofiska diskussioner. (sv) 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) Заперечення в логіці — унарна операція над судженнями, результат якої — судження (у відомому сенсі) «протилежне» початковому. Позначається знаком ¬ перед або рискою над судженням. Синонім: логічне «НЕ». Як у класичній, так і в інтуїціоністській логіці «подвійне заперечення» ¬¬A — наслідок судження A, тобто має місце тавтологія:. В класичній логіці заперечення зазвичай інтерпретують як функцію, що переводить істину в хибність і навпаки. А в інтуїціоністській логіці зазвичай під запереченням твердження приймається спростування . Обернене твердження правильне в класичній логіці (закон подвійного заперечення), але не має місця в інтуїціоністській. Тобто, заперечення шуканого твердження не може бути інтуїціоністським доказом, на відміну від класичної логіки. Цю відмінність двох логічних систем зазвичай уважають головною. У логіці й математиці заперечення ще називається логічним доповненням. Це операція на пропозиції, істинності значення, або семантичні значення в цілому. Інтуїтивно зрозуміло, що заперечення істинне, коли твердження є хибним, і навпаки. У класичній логіці заперечення, як правило, ототожнюється з істиною функції, яка приймає істину хибністю та навпаки. У семантиці Кріпке, заперечення — це теоретико-множинне доповнення. Множиною істини заперечення судження є доповнення множини істини самого судження до універсальної множини, з якої вибираються елементи. (uk)
dbo:thumbnail wiki-commons:Special:FilePath/Venn10.svg?width=300
dbo:wikiPageExternalLink http://www.math.hawaii.edu/~ramsey/Logic/NotAnd.html%7Ctitle= http://www.math.hawaii.edu/~ramsey/Logic/NotIfThen.html%7Ctitle= http://www.math.hawaii.edu/~ramsey/Logic/NotOr.html%7Ctitle= http://mathworld.wolfram.com/NOT.html https://web.archive.org/web/20000117134708/http:/www.math.hawaii.edu/~ramsey/Logic/NotOr.html%7Carchive-date= https://web.archive.org/web/20000301195359/http:/www.math.hawaii.edu/~ramsey/Logic/NotAnd.html%7Carchive-date= https://web.archive.org/web/20000301223435/http:/www.math.hawaii.edu/~ramsey/Logic/NotIfThen.html/%7Carchive-date=
dbo:wikiPageID 161019 (xsd:integer)
dbo:wikiPageLength 17419 (xsd:nonNegativeInteger)
dbo:wikiPageRevisionID 1121032696 (xsd:integer)
dbo:wikiPageWikiLink dbr:BASIC_programming_language dbr:Negation_as_failure dbr:Binary_numeral_system dbr:Bitwise_operation dbr:Boolean_algebra_(logic) dbr:Algebraic_semantics_(mathematical_logic) dbr:Apophasis dbr:Perl dbr:Cyclic_negation dbr:Unary_operation dbr:De_Morgan's_laws dbr:Double-negation_translation dbr:Interpretation_(logic) dbr:Intuitionistic_logic dbr:Reductio_ad_absurdum dbr:List_of_logic_symbols dbr:Possible_world dbr:MathWorld dbr:NOT_gate dbr:Notion_(philosophy) dbr:Square_of_opposition dbr:Eiffel_(programming_language) dbc:Logical_connectives dbr:Conditional_proof dbr:Contradiction dbr:Contraposition dbr:Logic dbr:Logical_conjunction dbr:Logical_value dbr:Computer_science dbr:Kripke_semantics dbr:Pascal_programming_language dbr:Polish_notation dbr:Proposition dbr:B_(programming_language) dbc:Semantics dbr:C++ dbr:C_Programming_Language dbr:Truth_function dbr:Truth_table dbr:Truth_value dbr:Two's_complement dbr:Wiley-Blackwell dbr:Distributive_property dbr:Laurence_R._Horn dbr:Paraconsistent_logic dbr:ALGOL_60 dbr:Ampheck dbc:Formal_semantics_(natural_language) dbr:Exclamation_mark dbr:Exclusive_or dbr:False_(logic) dbr:First-order_logic dbc:Unary_operations dbr:Brouwer–Heyting–Kolmogorov_interpretation dbr:PHP dbr:PL/I dbr:Logical_connective dbr:Logical_consequence dbr:Logical_disjunction dbr:Natural_deduction dbr:Heyting_algebra dbr:Ada_programming_language dbr:Involution_(mathematics) dbr:JavaScript dbr:Java_(programming_language) dbc:Articles_with_example_C++_code dbr:Affirmation_and_negation dbr:Binary_opposition dbr:Modus_ponens dbr:Dov_Gabbay dbr:Boolean_algebra_(structure) dbr:Classical_logic dbr:Operation_(mathematics) dbr:Ratfor dbr:Seed7 dbr:Set_theory dbr:Wolters_Kluwer dbr:Slang dbr:University_of_Chicago_Press dbr:Logically_equivalent dbr:Complement_(order_theory) dbr:Plato's_beard dbr:Signed_number_representations dbr:Proposition_(mathematics) dbr:Set-theoretic_complement dbr:G._H._von_Wright dbr:Possible_world_semantics dbr:Logical_operation dbr:Truth-value
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:vennDiagram Venn10.svg (en)
dbp:wikiPageUsesTemplate dbt:Springer dbt:No2 dbt:Citation_needed dbt:Cite_journal dbt:Cite_web dbt:Commons_category dbt:Div_col dbt:Div_col_end dbt:For_multi dbt:Mono dbt:More_footnotes dbt:Mvar dbt:Redirect dbt:Reflist dbt:See_also dbt:Short_description dbt:Use_dmy_dates dbt:Cite_SEP dbt:Yes2 dbt:Mathematical_logic dbt:Common_logical_symbols dbt:Infobox_logical_connective dbt:Logical_connectives dbt:Formal_semantics
dcterms:subject dbc:Logical_connectives dbc:Semantics dbc:Formal_semantics_(natural_language) dbc:Unary_operations dbc:Articles_with_example_C++_code
gold:hypernym dbr:Operation
rdf:type owl:Thing yago:WikicatLogicalConnectives yago:Abstraction100002137 yago:Conjunction106325826 yago:FunctionWord106291318 yago:LanguageUnit106284225 yago:Part113809207 yago:Relation100031921 yago:Word106286395 dbo:MilitaryConflict
rdfs:comment En lògica i matemàtica, la negació, també anomenada complement lògic, és una operació sobre proposicions, valors de veritat, o en general, valors semàntics. Intuïtivament, la negació d'una proposició és veritable quan aquesta proposició és falsa, i viceversa. En lògica clàssica la negació està normalment identificada amb la funció de veritat que canvia el seu valor de veritable a fals i viceversa. En , d'acord amb la , la negació d'una proposició p és la proposició les proves són les refutacions de p. A la , on els valors semàntics de les fórmules són conjunts de possibles mons, la negació de p, és la seva complement. (ca) في الجبر البوليني والرياضيات، النفي هو عملية أو رابط بين القيم وعكسها، مثلا من صحيح إلى خطأ ومن خطأ إلى صحيح، أو من القيمة المنطقية (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) Logikan eta matematikan, ukapena edo ezeztapena enuntziatuen arteko operaketa da, enuntziatu bat "ez " enuntziatu batera ( , edo irakurtzen dena) eramaten duena. ukapena normalean egiazko funtzioekin erlazionatzen da, zeinak bere balioa egiatik gezurrera aldatzen duen eta alderantziz. Intuitiboki, enuntziatu baten ukapena egia da baldin eta proposizio hori gezurra bada eta alderantziz. (eu) 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) 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 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 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 sebuah operasi yang mengambil ke proposisi lain "yang bukan ". Negasi dinyatakan dalam notasi , atau . Secara intuitif, operasi ini dipandang benar ketika salah, dan salah ketika benar. Jadi, negasi merupakan uner. Negasi dapat diterapkan sebagai operasi tentang , , , atau lebih umumnya, . Dalam , negasi biasanya diidentifikasi dengan yang mengambil kebenaran menjadi kepalsuan, begitupula sebaliknya. Namun dalam , menurut , negasi dari proposisi adalah proposisi yang buktinya merupakan penyangkalan . (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) 수리 논리학에서 부정(否定)은 명제의 참과 거짓을 반전하는 논리 연산이다. 명제 P에 대한 부정을 ¬P, , ~p, !P등으로 쓰고, ‘P 가 아니다’, ‘P 의 부정’, ‘P 이외의 경우’라고 읽는다. (ko) 数理論理学において否定 (ひてい、英: Negation) とは、命題の真と偽を反転する論理演算である。否定は英語で Not であるが、Invert とも言われ論理演算ではインバージョン（Inversion）、論理回路では Not回路やインバータ回路（Inverter）とも呼ばれ入力に対して出力が反転する。 命題 P に対する否定を ¬P, P, !P などと書いて、「P でない」とか「P の否定」、「P 以外の場合」などと読む。 (ja) 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) 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) 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: Ekzemple, por 32-bitaj nombroj: (eo) Отрица́ние (инве́рсия, от лат. inversio — переворот, логи́ческое «НЕ») в логике — унарная операция над суждениями, результатом которой является суждение, «противоположное» исходному. Обозначается знаком ¬ перед или чертой — над суждением. Как в классической, так и в интуиционистской логике «двойное отрицание» является следствием суждения , то есть имеет место тавтология:. (ru) Negation är i logiken ett förnekande av en sats på ett sådant sätt att, om satsen A är sann, så är icke-A falsk och om A är falsk, så är icke-A sann. Negationen av satsen A skrivs som ¬A, där ¬ är ett konnektiv. Negationen av satsen "Det regnar", är satsen "Det regnar inte". I vardagsspråket motsvaras negation av orden "ej", "icke" eller "inte". Dessa betecknas i formella system med ¬ eller ibland med ~ , vilka skrivs framför påståendet. Mer explicit motsvaras negation av att uttrycket "det är inte så att..." sätts framför påståendet. Ett negerat påstående kan uttrycka två olika meningar: (sv) Заперечення в логіці — унарна операція над судженнями, результат якої — судження (у відомому сенсі) «протилежне» початковому. Позначається знаком ¬ перед або рискою над судженням. Синонім: логічне «НЕ». Як у класичній, так і в інтуїціоністській логіці «подвійне заперечення» ¬¬A — наслідок судження A, тобто має місце тавтологія:. Множиною істини заперечення судження є доповнення множини істини самого судження до універсальної множини, з якої вибираються елементи. (uk)
rdfs:label نفي (رياضيات) (ar) Negació lògica (ca) Negace (cs) Negation (de) Negation (en) Logika neo (eo) Negación lógica (es) Ukapen (eu) Négation logique (fr) Negasi (in) Negazione (matematica) (it) 부정 (논리학) (ko) 否定 (ja) Logische negatie (nl) Negacja (pl) Negação (pt) Отрицание (ru) Negation (sv) Заперечення (uk) 逻辑非 (zh)
rdfs:seeAlso dbr:Double_negation
owl:sameAs freebase:Negation http://d-nb.info/gnd/4137553-1 wikidata:Negation dbpedia-ar:Negation dbpedia-az:Negation dbpedia-bg:Negation dbpedia-ca:Negation dbpedia-cs:Negation dbpedia-da:Negation dbpedia-de:Negation dbpedia-eo:Negation dbpedia-es:Negation dbpedia-et:Negation dbpedia-eu:Negation dbpedia-fa:Negation dbpedia-fr:Negation dbpedia-he:Negation http://hi.dbpedia.org/resource/निषेध_(तर्क) dbpedia-hr:Negation dbpedia-hu:Negation http://hy.dbpedia.org/resource/Ժխտում_(տրամաբանություն) dbpedia-id:Negation dbpedia-it:Negation dbpedia-ja:Negation dbpedia-kk:Negation dbpedia-ko:Negation dbpedia-la:Negation dbpedia-mk:Negation dbpedia-ms:Negation dbpedia-nl:Negation dbpedia-no:Negation dbpedia-pl:Negation dbpedia-pms:Negation dbpedia-pt:Negation dbpedia-ru:Negation dbpedia-sh:Negation dbpedia-simple:Negation dbpedia-sk:Negation dbpedia-sl:Negation dbpedia-sq:Negation dbpedia-sr:Negation dbpedia-sv:Negation http://tg.dbpedia.org/resource/Инкор dbpedia-th:Negation http://tl.dbpedia.org/resource/Negasyon dbpedia-tr:Negation dbpedia-uk:Negation dbpedia-zh:Negation https://global.dbpedia.org/id/pGmE
prov:wasDerivedFrom wikipedia-en:Negation?oldid=1121032696&ns=0
foaf:depiction wiki-commons:Special:FilePath/NOT_ANSI.svg wiki-commons:Special:FilePath/Venn10.svg
foaf:isPrimaryTopicOf wikipedia-en:Negation
is dbo:wikiPageDisambiguates of dbr:Negation_(disambiguation)
is dbo:wikiPageRedirects of dbr:Quantifier_negation dbr:⌐ dbr:⌙ dbr:￢ dbr:!vote dbr:&not dbr:¬ dbr:U+00AC dbr:Logical_complement dbr:Negation_(logic) dbr:Negation_elimination dbr:Negation_sign dbr:Not_(logic) dbr:Not_operator dbr:Not_sign dbr:Logical_Complement dbr:Logical_NOT dbr:Logical_Negation dbr:Logical_negation dbr:Logical_not dbr:Logical_opposite dbr:Negate dbr:Negated dbr:Negation_(logics) dbr:Negation_(mathematics)
is dbo:wikiPageWikiLink of dbr:Carrier_language dbr:Begriffsschrift dbr:Primitive_recursive_function dbr:Propositional_calculus dbr:Quantifier_negation dbr:Element_(mathematics) dbr:English_grammar dbr:Enumeration_reducibility dbr:Multimodal_logic dbr:Negation_as_failure dbr:Negation_normal_form dbr:MD5 dbr:Mena_Lafkioui dbr:Monotonic_function dbr:Philosophical_Fragments dbr:Sheffer_stroke dbr:Universal_quantification dbr:Bengali_phonology dbr:Bimal_Krishna_Matilal dbr:Bio-inspired_computing dbr:Bitwise_operation dbr:Boolean_data_type dbr:Description_logic dbr:Algebraic_normal_form dbr:Algebraic_specification dbr:History_of_computing_hardware dbr:List_of_Unicode_characters dbr:List_of_mathematical_jargon dbr:Relational_algebra dbr:Rhetoric dbr:Czech_conjugation dbr:Ue_(Mongolic) dbr:Unary_operation dbr:VT100_encoding dbr:Validity_(logic) dbr:Vertical_bar dbr:De_Interpretatione dbr:De_Morgan's_laws dbr:Decision_list dbr:Definite_description dbr:⌐ dbr:⌙ dbr:￢ dbr:Double_negation dbr:Index_of_logic_articles dbr:Index_of_philosophy_articles_(I–Q) dbr:Intuitionism dbr:Intuitionistic_type_theory dbr:Ivan_Orlov_(philosopher) dbr:Jaklin_Kornfilt dbr:Quantum_computing dbr:Lindenbaum–Tarski_algebra dbr:List_of_logic_symbols dbr:List_of_rules_of_inference dbr:Post's_lattice dbr:Rayo's_number dbr:Reasoning_system dbr:String_diagram dbr:Tony_Bedard dbr:Zettel_(Wittgenstein_book) dbr:!_(disambiguation) dbr:!vote dbr:&not dbr:.properties dbr:Computer dbr:Consistency dbr:Material_conditional dbr:Russell's_paradox dbr:NAR_2 dbr:NOR_gate dbr:Nalik_language dbr:Negation_(disambiguation) dbr:Negative dbr:Neti_neti dbr:Not dbr:Tigrinya_grammar dbr:Wildmat dbr:Partitive dbr:Quasi-quotation dbr:Code_page_921 dbr:Code_page_922 dbr:Coherentism dbr:English_language_in_Northern_England dbr:Fur_language dbr:Garifuna_language dbr:Gbe_languages dbr:Glossary_of_computer_science dbr:Golden_ratio_base dbr:Gottfried_Wilhelm_Leibniz dbr:Mxparser dbr:NaN dbr:Naive_set_theory dbr:Conflict-driven_clause_learning dbr:Conjunctive_grammar dbr:Conjunctive_query dbr:Contact_sign dbr:Contraposition dbr:Contraposition_(traditional_logic) dbr:Converse_nonimplication dbr:Conway's_Game_of_Life dbr:Thomas_Smith-Stark dbr:Andrea_Moro dbr:Andrzej_Grzegorczyk dbr:Apophatic_theology dbr:Araki_language dbr:Logical_NOR dbr:Mac_OS_Celtic dbr:Mac_OS_Roman dbr:Madurese_language dbr:Stanford/ITS_character_set dbr:Stanford_Extended_ASCII dbr:Complementary_event dbr:Complete_theory dbr:Complexity_class dbr:¬ dbr:Ātman_(Hinduism) dbr:Full-text_search dbr:Functional_completeness dbr:Horn_clause dbr:Polish_notation dbr:Primitive_recursive_arithmetic dbr:Stoicism dbr:Typographical_Number_Theory dbr:Many-valued_logic dbr:Material_nonimplication dbr:McCarthy_Formalism dbr:Media_Lengua dbr:Australian_English dbr:British_and_American_keyboards dbr:C._I._Lewis dbr:Actual_idealism dbr:Tigrinya_language dbr:Tilde dbr:Timeline_of_scientific_discoveries dbr:Truth_function dbr:Truth_table dbr:Truth_value dbr:U+00AC dbr:Windows-1250 dbr:Game_semantics dbr:Gödel's_ontological_proof dbr:Lattice_(order) dbr:Law_of_excluded_middle dbr:Law_of_noncontradiction dbr:Law_of_thought dbr:Laws_of_Form dbr:Lindström's_theorem dbr:Linear_subspace dbr:Linearity dbr:Logical_biconditional dbr:Logical_form_(linguistics) dbr:Logical_quality dbr:Logical_truth dbr:Minimal_logic dbr:Paraconsistent_logic dbr:Alfred_Tarski dbr:American_Sign_Language_grammar dbr:Analytic–synthetic_distinction dbr:Al-Zamakhshari dbr:DE-9IM dbr:DIN_66303 dbr:DKOI dbr:Alternating_bit_protocol dbr:Exclamation_mark dbr:Exclusive_or dbr:FO(.) dbr:Fallibilism dbr:False_(logic) dbr:First-order_logic dbr:No_Show_Museum dbr:Non-Euclidean_geometry dbr:Not_(song) dbr:Otto_Weininger dbr:Overline dbr:Central_Semitic_languages dbr:Diagrammatic_reasoning dbr:Dialetheism dbr:Diode_logic dbr:Discourse_representation_theory dbr:Formal_semantics_(natural_language) dbr:Foundations_of_geometry dbr:Four-valued_logic dbr:Glider_(Conway's_Life) dbr:History_of_mathematical_notation dbr:Logical_complement dbr:Logical_connective dbr:Pin_compatibility dbr:Predicate_functor_logic dbr:Presupposition dbr:Quantifier_(logic) dbr:Rule_Interchange_Format dbr:2-valued_morphism dbr:Gurene_language dbr:Historical_materialism dbr:Attempto_Controlled_English dbr:International_Article_Number dbr:Introduction_to_the_mathematics_of_general_relativity dbr:Involution_(mathematics) dbr:Isaac_Watts dbr:Isan_language dbr:Japanese_Sign_Language dbr:Japanese_adjectives dbr:JavaScript_syntax dbr:Tautology_(logic) dbr:Cox's_theorem dbr:Marxist_schools_of_thought dbr:Atari_BASIC dbr:APL_syntax_and_symbols dbr:Abhava dbr:Affirmation_and_negation dbr:Józef_Maria_Bocheński dbr:Kalmyk_Oirat dbr:Khalaj_language dbr:Khmer_language dbr:Latin-1_Supplement dbr:Binary_decision_diagram dbr:Binary_expression_tree dbr:Binary_number dbr:Bit_blit dbr:TI_calculator_character_sets dbr:Coherence_theory_of_truth dbr:Tawala_language dbr:Tayo_Creole dbr:Transposition_(logic) dbr:Trichotomy_(philosophy) dbr:Trumai_language dbr:Modal_subordination dbr:Disjunctive_normal_form dbr:Aspects_of_the_Theory_of_Syntax dbr:Axiom dbr:Axiom_of_choice dbr:Boolean_algebra dbr:Boolean_expression dbr:Boolean_function dbr:Boolean_grammar dbr:Boolean_satisfiability_problem dbr:Philippine_English dbr:Ponosakan_language dbr:PostScript_Latin_1_Encoding dbr:Fredkin_gate dbr:Hélène_Cixous dbr:ISO/IEC_8859-13 dbr:ISO/IEC_8859-15 dbr:ISO/IEC_8859-16 dbr:ISO/IEC_8859-7 dbr:ISO/IEC_8859-8 dbr:ISO/IEC_8859-9 dbr:Integer dbr:Klingon_language dbr:Negation_(logic) dbr:Negation_elimination dbr:Ontology dbr:Operation_(mathematics) dbr:Operator_(computer_programming) dbr:Operators_in_C_and_C++ dbr:Oromo_language dbr:Campaign_rhetoric_of_Barack_Obama dbr:Categorical_proposition dbr:Category_(Kant) dbr:RPL_character_set dbr:Race_condition dbr:Raghunatha_Siromani dbr:Read-once_function dbr:Yaghnobi_language dbr:Material_implication_(rule_of_inference) dbr:Unit_interval dbr:Macron_(diacritic) dbr:Majhi_language dbr:Monoidal_t-norm_logic dbr:Simple_Sensor_Interface_protocol dbr:Scope_(formal_semantics) dbr:Selection_(relational_algebra) dbr:Sentiment_analysis dbr:Shabo_language dbr:New_riddle_of_induction dbr:Conditional_disjunction dbr:ISO_31-11 dbr:List_of_terms_relating_to_algorithms_and_data_structures dbr:List_of_types_of_functions dbr:Literal_(mathematical_logic) dbr:Proper_convex_function dbr:Propositional_variable dbr:Randolph_diagram dbr:Windows-1254 dbr:Plato's_beard dbr:Existential_graph dbr:N400_(neuroscience) dbr:Principle_of_explosion dbr:Negative_logic dbr:Port_Jackson_Pidgin_English dbr:Windows-1252 dbr:Windows-1257 dbr:Negation_sign dbr:Negator dbr:Non-classical_logic dbr:Nonlinear_system dbr:Stable_model_semantics dbr:Theory_of_Categories dbr:Tarski's_undefinability_theorem dbr:Uralo-Siberian_languages
is gold:hypernym of dbr:Converse_nonimplication
is foaf:primaryTopic of wikipedia-en:Negation