Negation
http://dbpedia.org/resource/Negation an entity of type: Thing
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.
rdf:langString
في الجبر البوليني والرياضيات، النفي هو عملية أو رابط بين القيم وعكسها، مثلا من صحيح إلى خطأ ومن خطأ إلى صحيح، أو من القيمة المنطقية (0) إلى القيمة المنطقية (1) والعكس.
rdf:langString
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í):
rdf:langString
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.
rdf:langString
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.
rdf:langString
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.
rdf:langString
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 .
rdf:langString
En logique et en mathématiques, la négation est un opérateur logique unaire. Il sert à nier une proposition.
rdf:langString
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 .
rdf:langString
In logica e in matematica con negazione si intende un'operazione logica unitaria, che restituisce il valore di verità inverso di una proposizione.
rdf:langString
수리 논리학에서 부정(否定)은 명제의 참과 거짓을 반전하는 논리 연산이다. 명제 P에 대한 부정을 ¬P, , ~p, !P등으로 쓰고, ‘P 가 아니다’, ‘P 의 부정’, ‘P 이외의 경우’라고 읽는다.
rdf:langString
数理論理学において否定 (ひてい、英: Negation) とは、命題の真と偽を反転する論理演算である。否定は英語で Not であるが、Invert とも言われ論理演算ではインバージョン（Inversion）、論理回路では Not回路やインバータ回路（Inverter）とも呼ばれ入力に対して出力が反転する。 命題 P に対する否定を ¬P, P, !P などと書いて、「P でない」とか「P の否定」、「P 以外の場合」などと読む。
rdf:langString
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.
rdf:langString
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.
rdf:langString
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.
rdf:langString
逻辑非是布尔代数中一种一元运算。它的运算结果是将运算元的真值取反。 命题A的非可以有几种写法：
* A（A上加一横）
* ~A
* ¬A
* NOT A
* !A 以上可以读做"A不成立"或者"非A"。 ¬p的真值表定義如下： ~A即在A的条件下，结论不成立。例如，如果A代表命题“今天星期六”，则它的~A代表命题“今天不是星期六”或“今天是星期日、一、二、三、四或五”。 ~A为真当且仅当A为假。
rdf:langString
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:
rdf:langString
Отрица́ние (инве́рсия, от лат. inversio — переворот, логи́ческое «НЕ») в логике — унарная операция над суждениями, результатом которой является суждение, «противоположное» исходному. Обозначается знаком ¬ перед или чертой — над суждением. Как в классической, так и в интуиционистской логике «двойное отрицание» является следствием суждения , то есть имеет место тавтология:.
rdf:langString
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:
rdf:langString
Заперечення в логіці — унарна операція над судженнями, результат якої — судження (у відомому сенсі) «протилежне» початковому. Позначається знаком ¬ перед або рискою над судженням. Синонім: логічне «НЕ». Як у класичній, так і в інтуїціоністській логіці «подвійне заперечення» ¬¬A — наслідок судження A, тобто має місце тавтологія:. Множиною істини заперечення судження є доповнення множини істини самого судження до універсальної множини, з якої вибираються елементи.
rdf:langString
rdf:langString
نفي (رياضيات)
rdf:langString
Negació lògica
rdf:langString
Negace
rdf:langString
Negation
rdf:langString
Negation
rdf:langString
Logika neo
rdf:langString
Negación lógica
rdf:langString
Ukapen
rdf:langString
Négation logique
rdf:langString
Negasi
rdf:langString
Negazione (matematica)
rdf:langString
부정 (논리학)
rdf:langString
否定
rdf:langString
Logische negatie
rdf:langString
Negacja
rdf:langString
Negação
rdf:langString
Отрицание
rdf:langString
Negation
rdf:langString
Заперечення
rdf:langString
逻辑非
xsd:integer
161019
xsd:integer
1121032696
rdf:langString
yes
rdf:langString
Venn10.svg
rdf:langString
p/n066170
rdf:langString
NOT
rdf:langString
Negation
rdf:langString
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.
rdf:langString
في الجبر البوليني والرياضيات، النفي هو عملية أو رابط بين القيم وعكسها، مثلا من صحيح إلى خطأ ومن خطأ إلى صحيح، أو من القيمة المنطقية (0) إلى القيمة المنطقية (1) والعكس.
rdf:langString
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í):
rdf:langString
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.
rdf:langString
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 .
rdf:langString
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.
rdf:langString
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.
rdf:langString
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 .
rdf:langString
En logique et en mathématiques, la négation est un opérateur logique unaire. Il sert à nier une proposition.
rdf:langString
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 .
rdf:langString
In logica e in matematica con negazione si intende un'operazione logica unitaria, che restituisce il valore di verità inverso di una proposizione.
rdf:langString
수리 논리학에서 부정(否定)은 명제의 참과 거짓을 반전하는 논리 연산이다. 명제 P에 대한 부정을 ¬P, , ~p, !P등으로 쓰고, ‘P 가 아니다’, ‘P 의 부정’, ‘P 이외의 경우’라고 읽는다.
rdf:langString
数理論理学において否定 (ひてい、英: Negation) とは、命題の真と偽を反転する論理演算である。否定は英語で Not であるが、Invert とも言われ論理演算ではインバージョン（Inversion）、論理回路では Not回路やインバータ回路（Inverter）とも呼ばれ入力に対して出力が反転する。 命題 P に対する否定を ¬P, P, !P などと書いて、「P でない」とか「P の否定」、「P 以外の場合」などと読む。
rdf:langString
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.
rdf:langString
Отрица́ние (инве́рсия, от лат. inversio — переворот, логи́ческое «НЕ») в логике — унарная операция над суждениями, результатом которой является суждение, «противоположное» исходному. Обозначается знаком ¬ перед или чертой — над суждением. Как в классической, так и в интуиционистской логике «двойное отрицание» является следствием суждения , то есть имеет место тавтология:. Обратное утверждение верно в классической логике (закон двойного отрицания), но не имеет места в интуиционистской. То есть отрицание отрицания искомого утверждения не может служить интуиционистским доказательством, в отличие от классической логики. Это различие двух логических систем обычно полагается главным.
rdf:langString
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.
rdf:langString
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.
rdf:langString
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.
rdf:langString
逻辑非是布尔代数中一种一元运算。它的运算结果是将运算元的真值取反。 命题A的非可以有几种写法：
* A（A上加一横）
* ~A
* ¬A
* NOT A
* !A 以上可以读做"A不成立"或者"非A"。 ¬p的真值表定義如下： ~A即在A的条件下，结论不成立。例如，如果A代表命题“今天星期六”，则它的~A代表命题“今天不是星期六”或“今天是星期日、一、二、三、四或五”。 ~A为真当且仅当A为假。
rdf:langString
Заперечення в логіці — унарна операція над судженнями, результат якої — судження (у відомому сенсі) «протилежне» початковому. Позначається знаком ¬ перед або рискою над судженням. Синонім: логічне «НЕ». Як у класичній, так і в інтуїціоністській логіці «подвійне заперечення» ¬¬A — наслідок судження A, тобто має місце тавтологія:. В класичній логіці заперечення зазвичай інтерпретують як функцію, що переводить істину в хибність і навпаки. А в інтуїціоністській логіці зазвичай під запереченням твердження приймається спростування . Обернене твердження правильне в класичній логіці (закон подвійного заперечення), але не має місця в інтуїціоністській. Тобто, заперечення шуканого твердження не може бути інтуїціоністським доказом, на відміну від класичної логіки. Цю відмінність двох логічних систем зазвичай уважають головною. У логіці й математиці заперечення ще називається логічним доповненням. Це операція на пропозиції, істинності значення, або семантичні значення в цілому. Інтуїтивно зрозуміло, що заперечення істинне, коли твердження є хибним, і навпаки. У класичній логіці заперечення, як правило, ототожнюється з істиною функції, яка приймає істину хибністю та навпаки. У семантиці Кріпке, заперечення — це теоретико-множинне доповнення. Множиною істини заперечення судження є доповнення множини істини самого судження до універсальної множини, з якої вибираються елементи.
rdf:langString
no
rdf:langString
no
rdf:langString
yes
rdf:langString
NOT_ANSI.svg
rdf:langString
no
xsd:nonNegativeInteger
17419