| dbpedia-owl:abstract
|
- Negation 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.
- In logic and mathematics, negation, also called logical complement, is an operation on propositions, truth values, or semantic values more generally. Intuitively, the negation of a proposition is true when that proposition is false, and vice versa. 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 p is the proposition whose proofs are the refutations of p. In Kripke semantics where the semantic values of formulae are sets of possible worlds, negation is set-theoretic complementation.
- 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 está normalmente identificada con la función de verdad que cambia su valor de verdadero a falsity y viceversa. En Lógica intuicionista, de acuerdo a la interpretación BHK, la negación de una proposiciónp es la proposición cuyas pruebas con las refutaciones de p. En la semántica de Kripke, donde los valores semánticos de las fórmulas son conjuntos de posibles mundos, la negación de p, es su complemento.
- In logica e in matematica con negazione si intende un'operazione logica unitaria, che restituisce il valore di verità inverso di una proposizione.
- 数理論理学において否定（ひてい）とは、命題の真と偽を反転する論理演算である。否定は英語で Not であるが、Invert とも言われ論理演算ではインバージョン（Inversion）、論理回路では Not回路やインバータ回路（Inverter）とも呼ばれ入力に対して出力が反転する。 命題 P に対する否定を ¬P, P, !P などと書いて、「P でない」とか「P の否定」、「P 以外の場合」などと読む。
- 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.
- Negasjon 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 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. «»). Negasjon er ikke det som man i hverdagsspråket betegner som motsetning. Negasjonen av «denne ravnen er svart» er f. eks. ikke «denne ravnen er hvit», men «denne ravnen er ikke svart». Det første utsagnet er nemlig også feil hvis ravnen f. eks. er grønn. Likeledes er negasjonen av «alle ravner er svarte» ikke «ingen ravner er svarte», men «det fins minst én ravn som ikke er svart».
- Negacja (inaczej zaprzeczenie) to zdanie mające postać nieprawda, że p, gdzie p jest zdaniem. W rachunku zdań negacja zapisywana jest jako: (lub). 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. Symbol negacji jako bramki logicznej: Tablica prawdy (1 oznacza zdanie prawdziwe zaś 0 fałszywe): Złożenie dwóch negacji, daje w wyniku przekształcenie identycznościowe Do oznaczenia negacji stosowana jest także angielska partykuła NOT.
- 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: Em um sistema de lógica clássica, a negação dupla, isto é, a negação da negação de uma proposição p, é logicamente equivalente à proposição inicial p. Todavia, em um sistema de lógica intuicionista tal equivalência não é aceita. Este é um símbolo originario do idioma tagalo, é usado para separar palavras de mesma forma, mas significados diferentes. Seu nome original é *hiwalay na* que traduzido para o português ficaria aproximadamente como *separador*, entretanto a Matemática usa esse símbolo como situação pré disposta em ocasiões lógicas de negação.
- 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: 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", dvs "det är så att icke-p", Formellt: "¬p". negation av ett påståendes sanning bildar ett påstående som förnekar sanningen hos det utsprungliga påståendet. Språkligt: "det är inte så att det är sant att p" eller kortare "det är inte sant att p", dvs "det är falskt att p". Formellt: "Fp" (F = "det är falskt att") Sammanblanding av dessa båda betydelser och vad som följer av dem är en ständig källa till filosofiska diskussioner. Mall:Logiskafunktioner2
- 逻辑非是布尔代数中一种一元运算。它的运算结果是将运算元的真值取反。 命题 A的非可以有几种写法： A (A 上加一横) ~A ¬A NOT A !A 以上可以读做 " A不成立"或者 "非 A"。 ~A即在A的条件下，结论不成立。例如，如果A代表命题“今天星期六”，则它的~A代表命题“今天不是星期六或“今天是星期一，二，三，四，五，天。 ~A 为真 当且仅当 A为假。
- Отрица́ние в логике — унарная операция над суждениями, результатом которой является суждение (в известном смысле) «противоположное» исходному. Обозначается знаком ¬ перед или чертой над суждением. Синоним: логическое "НЕ". Как в классической, так и в интуиционистской логике «двойное отрицание» ¬¬A является следствием суждения A, то есть имеет место тавтология: . Обратное утверждение верно в классической логике, но не имеет места в интуиционистской. То есть, отрицание отрицания искомого утверждения не может служить интуиционистским доказательством, в отличие от классической логики. Это различие двух логических систем обычно полагается главным.
- 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 ». On note la négation d'une proposition P de diverses manières dont : ¬P (utilisée dans cet article); Non P; ~P; Ces formulations se lisent « négation de P » ou plus simplement « non P ». Dans l'interprétation par des tables de vérité, la proposition ¬P est vraie quand P est fausse et elle est fausse quand P est vraie. La table de vérité s'écrit simplement : En logique classique, la double négation correspond à une affirmation; autrement dit, les propositions P et ¬ (¬P) sont logiquement équivalentes. En logique intuitionniste, la proposition ¬¬P est plus faible que P, dans le sens où P implique ¬¬P, mais ¬¬P n'implique pas P. Néanmoins, les propositions ¬¬¬P et ¬P sont logiquement équivalentes. Voici quelques règles d'utilisation des négations en logique classique :
|
| rdfs:comment
|
- Negation 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.
- In logica e in matematica con negazione si intende un'operazione logica unitaria, che restituisce il valore di verità inverso di una proposizione.
- 数理論理学において否定（ひてい）とは、命題の真と偽を反転する論理演算である。否定は英語で Not であるが、Invert とも言われ論理演算ではインバージョン（Inversion）、論理回路では Not回路やインバータ回路（Inverter）とも呼ばれ入力に対して出力が反転する。 命題 P に対する否定を ¬P, P, !P などと書いて、「P でない」とか「P の否定」、「P 以外の場合」などと読む。
- 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.
- 逻辑非是布尔代数中一种一元运算。它的运算结果是将运算元的真值取反。 命题 A的非可以有几种写法： A (A 上加一横) ~A ¬A NOT A !A 以上可以读做 " A不成立"或者 "非 A"。 ~A即在A的条件下，结论不成立。例如，如果A代表命题“今天星期六”，则它的~A代表命题“今天不是星期六或“今天是星期一，二，三，四，五，天。 ~A 为真 当且仅当 A为假。
- In logic and mathematics, negation, also called logical complement, is an operation on propositions, truth values, or semantic values more generally. Intuitively, the negation of a proposition is true when that proposition is false, and vice versa. In classical logic negation is normally identified with the truth function that takes truth to falsity and vice versa.
- 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 está normalmente identificada con la función de verdad que cambia su valor de verdadero a falsity y viceversa.
- Negasjon 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 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. «»).
- Negacja (inaczej zaprzeczenie) to zdanie mające postać nieprawda, że p, gdzie p jest zdaniem. W rachunku zdań negacja zapisywana jest jako: (lub). 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.
- 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: Em um sistema de lógica clássica, a negação dupla, isto é, a negação da negação de uma proposição p, é logicamente equivalente à proposição inicial p.
- 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.
- Отрица́ние в логике — унарная операция над суждениями, результатом которой является суждение (в известном смысле) «противоположное» исходному. Обозначается знаком ¬ перед или чертой над суждением. Синоним: логическое "НЕ". Как в классической, так и в интуиционистской логике «двойное отрицание» ¬¬A является следствием суждения A, то есть имеет место тавтология: . Обратное утверждение верно в классической логике, но не имеет места в интуиционистской.
- 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 ». On note la négation d'une proposition P de diverses manières dont : ¬P (utilisée dans cet article); Non P; ~P; Ces formulations se lisent « négation de P » ou plus simplement « non P ».
|
