In logic, a three-valued logic (also trinary logic, trivalent, ternary, or trilean, sometimes abbreviated 3VL) is any of several many-valued logic systems in which there are three truth values indicating true, false and some indeterminate third value. This is contrasted with the more commonly known bivalent logics (such as classical sentential or Boolean logic) which provide only for true and false.
| Attributes | Values |
|---|
| type
| |
| sameAs
| |
| wasDerivedFrom
| |
| dbpedia-owl:abstract
| - Dreiwertige Logiken (auch: ternäre Logiken) sind Beispiele für mehrwertige Logiken, also für nichtklassische Logiken, die sich von der klassischen Logik dadurch unterscheiden, dass das Prinzip der Zweiwertigkeit aufgegeben wird. Dies bedeutet, dass es statt zwei Wahrheitswerten drei gibt, nämlich anstatt nur „wahr“ (bzw. 1) und „falsch“ (bzw. 0) außerdem noch „unbekannt“, „unbestimmt“, „möglich“ oder „Don’t-Care“ (bzw. 1/2 oder i).
- Трои́чная ло́гика (трёхзначная логика или тернарная логика) — один из видов многозначной логики, предложенный Яном Лукасевичем в 1920 году. Трёхзначная логика — исторически первая многозначная логика, является простейшим расширением двузначной логики.
- La logique ternaire, ou logique 3 états, est une branche du calcul des propositions qui étend l'algèbre de Boole, en considérant, en plus des états VRAI et FAUX, l'état INCONNU.
- 3치 논리(Three-valued logic) 또는 3진 논리는 진릿값이 세 개가 있는 체계를 말한다. 2치적 불 논리에는 네 개의 단항연산자가 있는 반면 3치 논리에는 27개의 단항연산자와 19683개의 이항연산자가 존재한다.
- 在邏輯學中的三值邏輯（three-valued，也稱為三元（ternary），或三价（trivalent）邏輯，有時縮寫為3VL）是幾個多值逻辑系統中的其中之一。有三種狀態來表示真、假和一個表示不確定的第三值；这相对於基礎的二元邏輯（比如布尔逻辑，它只提供真假兩種狀態）。概念形式和基本思想最初由 JanŁukasiewicz和 C. I. Lewis創建。 然後這些由 Grigore Moisil以公理代數形式重新制定，並在 1945年擴展到 值邏輯。
- Se llama lógica ternaria o lógica trivalente a cualquier sistema lógico multivaluado en el que hay tres valores de verdad, indicando Verdadero, Falso y algún otro valor indeterminado. Esto contrasta con las más comunes lógica bivalentes (tales como la clásica lógica proposicional o la lógica booleana), que contemplan únicamente Verdadero o Falso. La idea fundamental de la lógica trivalente fue formulada por Łukasiewicz, Lewis y . Después de ellos, fue reformulada de forma axiomática y algebraica por Grigore Moisil, y extendida a lógicas n, valuadas en 1945.
- المنطق الثلاثي أو ثلاثي القيمة (بالإنجليزية: Ternary logic) (يختصر عادة 3VL) هو أي نظام مؤلف من مجموعة حيث تكون لها ثلاث قيم منطقية مشيراً إلى صواب, خطأ وقيمة معينة ثالثة. يمكن مقارنة ذلك بالمنطق الأكثر شيوعاً وهو المنطق الثنائي والذي يزودنا بحالتين فقط هما صواب وخطأ. تبلورت الأفكار الأساسية بداية على يد جان لوكاسيويس، لويس، وسولسكي. بعدها إعيد صياغة هذه الأفكار من قبل غريغور مويسيل بالصورة الجبرية، تم توسيعها أيضا إلى ن-قيم منطقية في 1945.
- Logika trójwartościowa – wariant logiki zdań bądź predykatów rozszerzony o dodatkową wartość w stosunku do systemów klasycznych. Za pierwszy system logiki trójwartościowej uznaje się L3 autorstwa Jana Łukasiewicza. W tym samym okresie prace nad zagadnieniem prowadził . W późniejszym czasie powstały systemy m.in. Stephena Kleenego czy .
- In logic, a three-valued logic (also trinary logic, trivalent, ternary, or trilean, sometimes abbreviated 3VL) is any of several many-valued logic systems in which there are three truth values indicating true, false and some indeterminate third value. This is contrasted with the more commonly known bivalent logics (such as classical sentential or Boolean logic) which provide only for true and false. Emil Leon Post is credited with first introducing additional logical truth degrees in his 1921 theory of elementary propositions. The conceptual form and basic ideas of three-valued logic were initially published by Jan Łukasiewicz and Clarence Irving Lewis. These were then re-formulated by Grigore Constantin Moisil in an axiomatic algebraic form, and also extended to n-valued logics in 1945.
- 3値論理 (英: ternary, three-valued or trivalent logic) とは、通常の真 (true) と偽 (false) から成る真偽値の他に、第3の真理値を持つ論理体系。多値論理のひとつである。
- Трійкова логіка (тризначна логіка) — багатозначна логіка з трьома значеннями, є найпростішим розширенням звичайної бінарної логіки, тобто, крім значень TRUE, FALSE існує ще третє значення. Варіанти позначень: Таблиці істинності: Використовувались формули: На відміну від бінарної логіки Тому жоден з наборів , , не буде фукціонально повним (на відміну від бінарної логіки). Зате справджується тотожність
- Lógica ternária (ou lógica trivalente) refere-se a qualquer sistema lógico polivalente em que há três valores verdade indicando , e algum terceiro valor. Em contraste, a forma mais comum de lógica é bivalente (como a lógica booleana) e fornece somente e .
- In de driewaardige logica bestaat naast de mogelijke waarden 'waar' (true) en 'onwaar' (false) ook de mogelijkheid 'onbekend' (unknown).In databanksystemen moet met deze logica rekening gehouden worden, vanwege van het voorkomen van expliciet lege velden die de "waarde" null bevatten.
|
| dbpedia-owl:wikiPageExternalLink
| |
| dbpedia-owl:wikiPageID
| |
| dbpedia-owl:wikiPageRevisionID
| |
| comment
| - Dreiwertige Logiken (auch: ternäre Logiken) sind Beispiele für mehrwertige Logiken, also für nichtklassische Logiken, die sich von der klassischen Logik dadurch unterscheiden, dass das Prinzip der Zweiwertigkeit aufgegeben wird. Dies bedeutet, dass es statt zwei Wahrheitswerten drei gibt, nämlich anstatt nur „wahr“ (bzw. 1) und „falsch“ (bzw. 0) außerdem noch „unbekannt“, „unbestimmt“, „möglich“ oder „Don’t-Care“ (bzw. 1/2 oder i).
- Трои́чная ло́гика (трёхзначная логика или тернарная логика) — один из видов многозначной логики, предложенный Яном Лукасевичем в 1920 году. Трёхзначная логика — исторически первая многозначная логика, является простейшим расширением двузначной логики.
- La logique ternaire, ou logique 3 états, est une branche du calcul des propositions qui étend l'algèbre de Boole, en considérant, en plus des états VRAI et FAUX, l'état INCONNU.
- 3치 논리(Three-valued logic) 또는 3진 논리는 진릿값이 세 개가 있는 체계를 말한다. 2치적 불 논리에는 네 개의 단항연산자가 있는 반면 3치 논리에는 27개의 단항연산자와 19683개의 이항연산자가 존재한다.
- 在邏輯學中的三值邏輯（three-valued，也稱為三元（ternary），或三价（trivalent）邏輯，有時縮寫為3VL）是幾個多值逻辑系統中的其中之一。有三種狀態來表示真、假和一個表示不確定的第三值；这相对於基礎的二元邏輯（比如布尔逻辑，它只提供真假兩種狀態）。概念形式和基本思想最初由 JanŁukasiewicz和 C. I. Lewis創建。 然後這些由 Grigore Moisil以公理代數形式重新制定，並在 1945年擴展到 值邏輯。
- Se llama lógica ternaria o lógica trivalente a cualquier sistema lógico multivaluado en el que hay tres valores de verdad, indicando Verdadero, Falso y algún otro valor indeterminado. Esto contrasta con las más comunes lógica bivalentes (tales como la clásica lógica proposicional o la lógica booleana), que contemplan únicamente Verdadero o Falso. La idea fundamental de la lógica trivalente fue formulada por Łukasiewicz, Lewis y . Después de ellos, fue reformulada de forma axiomática y algebraica por Grigore Moisil, y extendida a lógicas n, valuadas en 1945.
- المنطق الثلاثي أو ثلاثي القيمة (بالإنجليزية: Ternary logic) (يختصر عادة 3VL) هو أي نظام مؤلف من مجموعة حيث تكون لها ثلاث قيم منطقية مشيراً إلى صواب, خطأ وقيمة معينة ثالثة. يمكن مقارنة ذلك بالمنطق الأكثر شيوعاً وهو المنطق الثنائي والذي يزودنا بحالتين فقط هما صواب وخطأ. تبلورت الأفكار الأساسية بداية على يد جان لوكاسيويس، لويس، وسولسكي. بعدها إعيد صياغة هذه الأفكار من قبل غريغور مويسيل بالصورة الجبرية، تم توسيعها أيضا إلى ن-قيم منطقية في 1945.
- Logika trójwartościowa – wariant logiki zdań bądź predykatów rozszerzony o dodatkową wartość w stosunku do systemów klasycznych. Za pierwszy system logiki trójwartościowej uznaje się L3 autorstwa Jana Łukasiewicza. W tym samym okresie prace nad zagadnieniem prowadził . W późniejszym czasie powstały systemy m.in. Stephena Kleenego czy .
- 3値論理 (英: ternary, three-valued or trivalent logic) とは、通常の真 (true) と偽 (false) から成る真偽値の他に、第3の真理値を持つ論理体系。多値論理のひとつである。
- Трійкова логіка (тризначна логіка) — багатозначна логіка з трьома значеннями, є найпростішим розширенням звичайної бінарної логіки, тобто, крім значень TRUE, FALSE існує ще третє значення. Варіанти позначень: Таблиці істинності: Використовувались формули: На відміну від бінарної логіки Тому жоден з наборів , , не буде фукціонально повним (на відміну від бінарної логіки). Зате справджується тотожність
- In logic, a three-valued logic (also trinary logic, trivalent, ternary, or trilean, sometimes abbreviated 3VL) is any of several many-valued logic systems in which there are three truth values indicating true, false and some indeterminate third value. This is contrasted with the more commonly known bivalent logics (such as classical sentential or Boolean logic) which provide only for true and false.
- Lógica ternária (ou lógica trivalente) refere-se a qualquer sistema lógico polivalente em que há três valores verdade indicando , e algum terceiro valor. Em contraste, a forma mais comum de lógica é bivalente (como a lógica booleana) e fornece somente e .
- In de driewaardige logica bestaat naast de mogelijke waarden 'waar' (true) en 'onwaar' (false) ook de mogelijkheid 'onbekend' (unknown).In databanksystemen moet met deze logica rekening gehouden worden, vanwege van het voorkomen van expliciet lege velden die de "waarde" null bevatten.
|
| label
| - 3値論理
- 3치 논리
- Dreiwertige Logik
- Driewaardige logica
- Logika trójwartościowa
- Logique ternaire
- Lógica ternária
- Lógica trivalente
- Three-valued logic
- Тризначна логіка
- Троичная логика
- منطق ثلاثي
- 三值逻辑
|
| seeAlso
| |
| dbpprop:wikiPageUsesTemplate
| |
| topic
| |
![[RDF Data]](/fct/images/sw-rdf-blue.png)
