| rdfs:comment
| - المنطق الثلاثي أو ثلاثي القيمة (بالإنجليزية: Ternary logic) (يختصر عادة 3VL) هو أي نظام مؤلف من مجموعة حيث تكون لها ثلاث قيم منطقية مشيراً إلى صواب, خطأ وقيمة معينة ثالثة. يمكن مقارنة ذلك بالمنطق الأكثر شيوعاً وهو المنطق الثنائي والذي يزودنا بحالتين فقط هما صواب وخطأ. تبلورت الأفكار الأساسية بداية على يد جان لوكاسيويس، لويس، وسولسكي. بعدها إعيد صياغة هذه الأفكار من قبل غريغور مويسيل بالصورة الجبرية، تم توسيعها أيضا إلى ن-قيم منطقية في 1945. (ar)
- 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). (de)
- 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. (es)
- 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. (fr)
- 3値論理 (英: ternary, three-valued or trivalent logic) とは、通常の真 (true) と偽 (false) から成る真偽値の他に、第3の真理値を持つ論理体系。多値論理のひとつである。 (ja)
- 3치 논리(Three-valued logic) 또는 3진 논리는 진릿값이 세 개가 있는 체계를 말한다. 2치적 불 논리에는 네 개의 단항연산자가 있는 반면 3치 논리에는 27개의 단항연산자와 19683개의 이항연산자가 존재한다. (ko)
- 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. (nl)
- 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 . (pl)
- Трійкова логіка (тризначна логіка) — багатозначна логіка з трьома значеннями, є найпростішим розширенням звичайної бінарної логіки, тобто, крім значень TRUE, FALSE існує ще третє значення. Варіанти позначень: Таблиці істинності: Використовувались формули: На відміну від бінарної логіки Тому жоден з наборів , , не буде фукціонально повним (на відміну від бінарної логіки). Зате справджується тотожність (uk)
- 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 . (pt)
- Трои́чная ло́гика (трёхзначная логика или тернарная логика) — один из видов многозначной логики, предложенный Яном Лукасевичем в 1920 году. Трёхзначная логика — исторически первая многозначная логика, является простейшим расширением двузначной логики. (ru)
- 在邏輯學中的三值邏輯（three-valued，也稱為三元（ternary），或三价（trivalent）邏輯，有時縮寫為3VL）是幾個多值逻辑系統中的其中之一。有三種狀態來表示真、假和一個表示不確定的第三值；这相对於基礎的二元邏輯（比如布尔逻辑，它只提供真假兩種狀態）。概念形式和基本思想最初由 JanŁukasiewicz和 C. I. Lewis創建。 然後這些由 Grigore Moisil以公理代數形式重新制定，並在 1945年擴展到 值邏輯。 (zh)
- 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. (en)
|
![[RDF Data]](/fct/images/sw-rdf-blue.png)
![[cxml]](/fct/images/cxml_doc.png)
![[csv]](/fct/images/csv_doc.png)
![[text]](/fct/images/ntriples_doc.png)
![[turtle]](/fct/images/n3turtle_doc.png)
![[ld+json]](/fct/images/jsonld_doc.png)
![[rdf+json]](/fct/images/json_doc.png)
![[rdf+xml]](/fct/images/xml_doc.png)
![[atom+xml]](/fct/images/atom_doc.png)
![[html]](/fct/images/html_doc.png)