| Information | |
|---|---|
| has gloss | (noun) (logic) a proposition that is true if and only if another proposition is false negation |
| has gloss | eng: In logic and mathematics, negation (usually expressed by not) is an operation on propositions. For example, in classical logic negation is normally interpreted by 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 P is the proposition whose proofs are the refutations of P. Intuitively, the negation of a proposition holds when that proposition is false. Recent studies have explored the relationship between the representation of the world in the brain and negation. |
| has gloss | eng: Logical negation (also known as not) is a logic operation. It takes one input. It flips the value of the input as the output. If the input was true, it returns false. If the input was false, it returns true.hosa |
| lexicalization | eng: Logical negation |
| lexicalization | eng: negation |
| subclass of | (noun) (logic) a statement that affirms or denies something and is either true or false proposition |
| Meaning | |
|---|---|
| Arabic | |
| has gloss | ara: في المنطق والرياضيات، النفي هو عملية أو رابط بين القيم المنطقية يعكس القيمة المنطقية، مثلا من صحيح إلى خطأ ومن خطأ إلى صحيح. |
| lexicalization | ara: نفي |
| Czech | |
| has gloss | ces: Logická negace (používá se pro ni symbol \neg nebo \mathrmNOT}, popř. se označuje pruhem nad proměnnou) je unární logická operace, jejíž hodnota je nepravda, právě když první vstupní hodnota je pravda a naopak. |
| lexicalization | ces: negace |
| Danish | |
| has gloss | dan: Negation betyder nægtelse og betegner så at sige det modsatte af noget. |
| lexicalization | dan: negation |
| German | |
| has gloss | deu: Negation (v. lat.: 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. |
| lexicalization | deu: Negation |
| Esperanto | |
| has gloss | epo: En la logiko, la logika neo (esprimita per ne) estas unuargumenta logika operacio, kiu nur rezultigas veran frazon, se ĝia argumento estas falsa. |
| lexicalization | epo: logika neo |
| Estonian | |
| has gloss | est: Loogikas mõistetakse mingi propositsiooni eituse all propositsiooni, mis on selle propositsiooniga kontradiktoorne. |
| lexicalization | est: eitus |
| Persian | |
| has gloss | fas: در منطق ویا ریاضیات، نقیض یک عملگر منطقی یکتایی است، که نتیجه آن در صورتی که گزاره تحت آن نادرست باشد درست خواهد بود و در غیر این صورت نادرست است. منابع * |
| lexicalization | fas: نقیض |
| French | |
| has gloss | fra: En logique et en mathématiques, la négation est un opérateur logique unaire, on dit aussi connecteur logique. Il sert à créer une proposition à partir d'une autre en en inversant la signification, de « vrai » en « faux » ou de « démontrable » en « non démontrable ». |
| lexicalization | fra: Negation logique |
| lexicalization | fra: Négation logique |
| Galician | |
| Show unreliable ▼ | |
| lexicalization | glg: negación |
| Serbo-Croatian | |
| has gloss | hbs: Logička negacija ili Logičko „ne“ je unarna logička operacija čija je vrednost „tačno“ kada njen operand ima vrednost „netačno“, i obrnuto. Drugim rečima, logička negacija pretvara tačno u netačno, a netačno u tačno. |
| lexicalization | hbs: logička negacija |
| Hebrew | |
| has gloss | heb: בלוגיקה מתמטית, לא או שלילה הוא קשר לוגי יונארי המתאים לכל פסוק או תבנית את הפסוק או התבנית ההפוכים במובנם ובתנאי האמת שלהם. לא הוא אחד משני הקשרים הבסיסיים עליהם בנויה הלוגיקה הפורמלית (השני הוא אם-אז). |
| lexicalization | heb: לא |
| Croatian | |
| has gloss | hrv: U logici i matematici, negacija je operacija nad logičkim vrijednostima, na primjer logičkom vrijednošću iskaza, koja preslikava istinu u laž i laž u istinu. Intuitivno, negacija iskaza vrijedi točno onda kada iskaz ne vrijedi. |
| lexicalization | hrv: negacija |
| Italian | |
| has gloss | ita: La negazione è unoperazione logica unaria che applicata ad una proposizione p dà come risultato una nuova proposizione non p il cui valore di verità è linverso del valore di verità di p, ossia non p è vera se p è falsa ed è falsa se p è vera. Per indicare la negazione di una proposizione p si scrive, equivalentemente: * \neg p |
| lexicalization | ita: negazione |
| Japanese | |
| has gloss | jpn: 数理論理学において否定（ひてい）とは、命題の真と偽を反転する論理演算である。否定は英語で Not であるが、Invert とも言われ論理演算ではインバージョン（Inversion）、論理回路では Not 回路やインバータ回路（Inverter）とも呼ばれ入力に対して出力が反転する。 |
| lexicalization | jpn: 否定 |
| Korean | |
| has gloss | kor: 수리 논리학에서 부정(否定)은 명제의 참과 거짓을 반전하는 논리 연산이다. |
| lexicalization | kor: 부정 |
| Macedonian | |
| has gloss | mkd: Кај граматиката, логиката и математиката негација е операција на вистинитости, како на пример вистинитоста на еден исказ, која може да биде од точност во неточност и неточност до точност. |
| lexicalization | mkd: негација |
| Dutch | |
| has gloss | nld: 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. |
| lexicalization | nld: Logische negatie |
| Norwegian | |
| has gloss | nor: Negasjon (av latin negatio) betyr nektelse og er en viktig sannhetsfunksjon i setningslogikken. Hvis et utsagn er sant, er dets negasjon falsk, og motsatt. Den symbolske skrivemåten for negasjonen av et utsagn A er :\neg \mathbf A og uttales som «ikke-A» eller «negasjon av A». I noen programmeringsspråk eller andre sammenhenger der særtegn ikke kan brukes, skrives også tilde («~») eller utropstegn («!») istedenfor «¬». Også overstreking brukes av og til (f.eks. «\overline\mathbfA}}»). |
| lexicalization | nor: negasjon |
| Piemontese | |
| has gloss | pms: La negassion a lé noperassion lògica, ëd sòlit denotà con ël sìmbol \neg . Ël sust ëd costa operassion a lé che si aplicoma la negassion a na proposission p vera i otnoma na proposission \neg p fàussa, antramentre che si laplicoma a na proposission p fàussa i otnoma na proposission \neg p vera. Donca la negassion ëd na tautologìa a lé na contradission e la negassion ëd na contradission a l'é na tautologìa. |
| lexicalization | pms: negassion |
| Polish | |
| has gloss | pol: Negacja (inaczej zaprzeczenie) to zdanie mające postać nieprawda, że p, gdzie p jest zdaniem. W rachunku zdań negacja zapisywana jest jako: \neg\,p\,\! (lub \sim p). Negację można zdefiniować ściślej jako jednoargumentowe działanie określone w zbiorze zdań, które każdemu zdaniu p przyporządkowuje zdanie nieprawda, że p. Negację zdania p uważa się za prawdziwą, gdy zdanie p jest fałszywe, zaś za fałszywą, gdy zdanie p jest prawdziwe. |
| lexicalization | pol: Negacja |
| Portuguese | |
| has gloss | por: Em lógica e matemática, negação é uma operação 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. A tabela de verdade para NÃO p (também grafado com ~p ou ¬p) é a seguinte: |
| lexicalization | por: negação |
| Russian | |
| has gloss | rus: Отрица́ние в логике — унарная операция над суждениями, результатом которой является суждение (в известном смысле) «противоположное» исходному. Обозначается знаком ¬ перед или чертой над суждением. |
| lexicalization | rus: Отрицание |
| Slovak | |
| has gloss | slk: Negácia (z lat.) je logické prevrátenie hodnoty alebo výroku. Označuje sa znakom \neg alebo apostrofom za výrokom . Ak máme výrok A, potom negácia výroku A môže vyzerať takto \neg A alebo A . |
| lexicalization | slk: Negácia |
| Slovenian | |
| has gloss | slv: V matematični logiki je negacija enočlena logična operacija med izjavami. Znak za negacijo je ¬ (beri: ne). Negacija izjave A je izjava ¬A, ki je pravilna, samo če je izjava A napačna in obratno. |
| lexicalization | slv: negacija |
| Albanian | |
| has gloss | sqi: Negacioni është veprim (dhe operator) logjik me të cilin bëhet mohimi i një vendimi logjik. Simboli i negacionit që përdoret në lëmi të ndryshme është " \lnot ". |
| lexicalization | sqi: Negacioni |
| Serbian | |
| has gloss | srp: Логичка негација или Логичко „не“ је унарна логичка операција чија је вредност „тачно“ када њен операнд има вредност „нетачно“, и обрнуто. Другим речима, логичка негација претвара тачно у нетачно, а нетачно у тачно. |
| lexicalization | srp: логичка негација |
| Swedish | |
| has gloss | swe: En logisk negation är ett påstående som uttrycker ett förnekande av ett påstående, ex: negationen till "det regnar" är "det regnar inte". I vardagsspråket motsvaras negation av orden "ej", "icke" eller "inte", och betecknas formellt med ¬ eller ibland med ~ framför påståendet. Inom matematik och programmering används även symbolen != för att beteckna "icke" eller "ej lika med". Mer explicit motsvaras negation av att "det är inte så att..." sätts framför påståendet. Ett negerat påstående kan uttrycka två olika meningar: |
| lexicalization | swe: Negation |
| Thai | |
| has gloss | tha: นิเสธ มีความหมายพื้นฐานคือผลที่ได้จากการเปลี่ยนค่าความจริงของประโยค ไปเป็นตรงกันข้าม การทำให้เป็นนิเสธคือการดำเนินการสำคัญที่ใช้ในตรรกศาสตร์ คณิตศาสตร์ และไวยากรณ์ |
| lexicalization | tha: นิเสธ |
| Ukrainian | |
| has gloss | ukr: Заперечення в логіці — унарна операція над судженнями, результатом якої є судження (у відомому сенсі) «протилежне» початковому. Позначається знаком ¬ |
| lexicalization | ukr: заперечення |
| Chinese | |
| has gloss | zho: 逻辑非是布尔代数中一种一元运算。它的运算结果是将运算元的真值取反。 命题 p的非可以有几种写法： * p (p 上加一横) * ~p * ¬p * NOT p * !p 以上可以读做 " p不成立"或者 "非 p"。 |
| lexicalization | zho: 逻辑非 |
| Links | |
|---|---|
| has category | (noun) the branch of philosophy that analyzes inference logic |
| Show unreliable ▼ | |
| similar | e/Negation |
| Media | |
|---|---|
| media:img | Not-gate-en.svg |
| media:img | Not-gate.png |
| media:img | ORGate2.png |
Lexvo © 2008-2024 Gerard de Melo. Contact Legal Information / Imprint
