Three-valued logic (original) (raw)
المنطق الثلاثي أو ثلاثي القيمة (بالإنجليزية: Ternary logic) (يختصر عادة 3VL) هو أي نظام مؤلف من مجموعة حيث تكون لها ثلاث قيم منطقية مشيراً إلى صواب, خطأ وقيمة معينة ثالثة. يمكن مقارنة ذلك بالمنطق الأكثر شيوعاً وهو المنطق الثنائي والذي يزودنا بحالتين فقط هما صواب وخطأ. تبلورت الأفكار الأساسية بداية على يد جان لوكاسيويس، لويس، وسولسكي. بعدها إعيد صياغة هذه الأفكار من قبل غريغور مويسيل بالصورة الجبرية، تم توسيعها أيضا إلى ن-قيم منطقية في 1945.
| Property | Value |
|---|---|
| dbo:abstract | المنطق الثلاثي أو ثلاثي القيمة (بالإنجليزية: 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) 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. (en) 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) |
| dbo:wikiPageExternalLink | http://www.cambridge.org/us/academic/subjects/philosophy/logic/introduction-many-valued-and-fuzzy-logic-semantics-algebras-and-derivation-systems%3Fformat=PB |
| dbo:wikiPageID | 249904 (xsd:integer) |
| dbo:wikiPageLength | 22885 (xsd:nonNegativeInteger) |
| dbo:wikiPageRevisionID | 1118571404 (xsd:integer) |
| dbo:wikiPageWikiLink | dbr:Predicate_logic dbr:Modal_logic dbr:Principle_of_bivalence dbr:Intermediate_logic dbr:Intuitionistic_logic dbr:Numerical_digit dbr:Material_conditional dbr:SQL dbr:Or_(logic) dbr:Skew_binary_number_system dbr:Emil_Leon_Post dbr:Functionally_complete dbr:Graham_Priest dbc:Many-valued_logic dbr:Logic dbr:Logical_NAND dbr:Logical_NOR dbr:Stephen_Cole_Kleene dbr:Propositional_logic dbr:Many-valued_logic dbr:Trit_(computing) dbr:Truth_table dbr:Truth_value dbr:Clarence_Irving_Lewis dbr:Law_of_excluded_middle dbr:Paraconsistent_logic dbr:Balanced_ternary dbc:Ternary_computers dbr:Null_(SQL) dbr:Binary_logic_(disambiguation) dbr:Four-valued_logic dbr:Digital_circuit dbr:Material_equivalence dbr:Quantifier_(logic) dbr:Gödel dbr:Heyting dbr:Atom_(order_theory) dbr:Jan_Łukasiewicz dbr:Tautology_(logic) dbr:Ternary_numeral_system dbr:Redundant_binary_representation dbr:Charles_Sanders_Peirce dbr:Ternary_computer dbr:Ternary_signal dbr:Boolean_algebra_(structure) dbr:Boolean_function dbr:Grigore_Constantin_Moisil dbr:Setun dbr:Sentinel_value dbr:Undecidable_problem dbr:Three-state_logic dbr:Boolean_logic dbr:Tri-state_buffer dbr:XOR dbr:And_(logic) dbr:Connectives dbr:Not_(logic) dbr:Law_of_excluded_fourth dbr:Law_of_non-contradiction dbr:Unary_operator dbr:XNOR dbr:Designated_value dbr:Extended_contradiction_principle dbr:Modular_algebra |
| dbp:wikiPageUsesTemplate | dbt:Citation_needed dbt:Cite_book dbt:Doi dbt:Empty_section dbt:Further dbt:ISBN dbt:Main dbt:Math dbt:More_citations_needed dbt:Mvar dbt:No dbt:Portal dbt:Reflist dbt:Section_link dbt:See_also dbt:Short_description dbt:Yes dbt:Mathematical_logic dbt:Non-classical_logic |
| dcterms:subject | dbc:Many-valued_logic dbc:Ternary_computers |
| gold:hypernym | dbr:Values |
| rdf:type | owl:Thing |
| 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) |
| rdfs:label | منطق ثلاثي (ar) Dreiwertige Logik (de) Lógica trivalente (es) Logique ternaire (fr) 3치 논리 (ko) 3値論理 (ja) Driewaardige logica (nl) Logika trójwartościowa (pl) Троичная логика (ru) Three-valued logic (en) Lógica ternária (pt) 三值逻辑 (zh) Тризначна логіка (uk) |
| rdfs:seeAlso | dbr:Kleene_algebra_(with_involution) |
| owl:sameAs | freebase:Three-valued logic yago-res:Three-valued logic wikidata:Three-valued logic dbpedia-ar:Three-valued logic dbpedia-de:Three-valued logic dbpedia-es:Three-valued logic dbpedia-fa:Three-valued logic dbpedia-fr:Three-valued logic dbpedia-he:Three-valued logic dbpedia-ja:Three-valued logic dbpedia-ka:Three-valued logic dbpedia-ko:Three-valued logic dbpedia-mk:Three-valued logic dbpedia-nl:Three-valued logic dbpedia-pl:Three-valued logic dbpedia-pt:Three-valued logic dbpedia-ru:Three-valued logic dbpedia-uk:Three-valued logic dbpedia-zh:Three-valued logic https://global.dbpedia.org/id/nwtE |
| prov:wasDerivedFrom | wikipedia-en:Three-valued_logic?oldid=1118571404&ns=0 |
| foaf:isPrimaryTopicOf | wikipedia-en:Three-valued_logic |
| is dbo:wikiPageRedirects of | dbr:Non-boolean_logic dbr:Three_value_logic dbr:Three_valued_logic dbr:Ternary_logic dbr:Kleene_logic dbr:Trinary_logic dbr:Tribool dbr:3-valued_logic dbr:3VL dbr:Three-valued_logics dbr:Law_of_excluded_fourth dbr:Triple-value_logic dbr:Triple-valued_logic dbr:Triple_value_logic dbr:Triple_valued_logic dbr:Trivalent_logic |
| is dbo:wikiPageWikiLink of | dbr:Premier_League–Football_League_gulf dbr:Principle_of_bivalence dbr:Non-boolean_logic dbr:Boolean_data_type dbr:History_of_computing_hardware dbr:Reinhard_Wilhelm dbr:De_Morgan_algebra dbr:Index_of_philosophy_articles_(R–Z) dbr:Jaina_seven-valued_logic dbr:Three_value_logic dbr:Three_valued_logic dbr:Consonance_and_dissonance dbr:SQL dbr:SQL_syntax dbr:Skew_binary_number_system dbr:Conditional_event_algebra dbr:Many-valued_logic dbr:Truth dbr:Jerzy_Słupecki dbr:Law_of_thought dbr:List_of_African_educators,_scientists_and_scholars dbr:Paraconsistent_logic dbr:Espresso_heuristic_logic_minimizer dbr:Balanced_ternary dbr:Null_(SQL) dbr:Checkbox dbr:Digital_signal dbr:Itala_D'Ottaviano dbr:Relational_model dbr:Involution_(mathematics) dbr:Nullable_type dbr:Łukasiewicz_logic dbr:Abstract_interpretation dbr:Codd's_theorem dbr:Ternary_logic dbr:Ternary_signal dbr:Boolean_algebra dbr:Buridan's_bridge dbr:Sports_rating_system dbr:Kleene_logic dbr:Rule_of_inference dbr:Signal dbr:Well-founded_semantics dbr:Imieliński–Lipski_algebra dbr:Philosophical_logic dbr:Finite-valued_logic dbr:Märklin_Digital dbr:Three-state_logic dbr:Semantic_theory_of_truth dbr:T-norm_fuzzy_logics dbr:Non-classical_logic dbr:Philosophy_of_logic dbr:Revision_theory dbr:Trinary_logic dbr:Tribool dbr:3-valued_logic dbr:3VL dbr:Three-valued_logics dbr:Law_of_excluded_fourth dbr:Triple-value_logic dbr:Triple-valued_logic dbr:Triple_value_logic dbr:Triple_valued_logic dbr:Trivalent_logic |
| is foaf:primaryTopic of | wikipedia-en:Three-valued_logic |