Logical connective (original) (raw)
الرابطة المنطقية في علم المنطق هي مجموعة من كلمات أو رموز تسهم في الربط بين جملتين أو أكثر بأسلوب صحيح لغوياً ومنطقياً.يستخدم الربط المنطقي في أسلوب الكتابة العادية وفي البرمجة.
| Property | Value |
|---|---|
| dbo:abstract | الرابطة المنطقية في علم المنطق هي مجموعة من كلمات أو رموز تسهم في الربط بين جملتين أو أكثر بأسلوب صحيح لغوياً ومنطقياً.يستخدم الربط المنطقي في أسلوب الكتابة العادية وفي البرمجة. (ar) En lògica, les connectives lògiques són les eines que permeten construir enunciats o fórmules a partir dels . Les més conegudes són no, i, o i la construcció condicional si ...llavors. Aquestes connectives es representen: , no, i, o (inclusiva), si...llavors (ca) Eine Logische Verknüpfung ist eine Operation der Booleschen Algebra. Mit Hilfe der logischen Verknüpfungen lassen sich in der Aussagenlogik und Schaltalgebra aus einfacheren Aussagen kompliziertere Aussagen zusammensetzen. Dabei muss der Wahrheitswert der zusammengesetzten Aussage durch die Wahrheitswerte der enthaltenen einfacheren Aussagen eindeutig bestimmt sein, beispielsweise durch eine Wahrheitstabelle (Wahrheitstafel). Eine Wahrheitstabelle ist die Definition einer logischen Verknüpfung. Mehrere Eingangssignale (1, 2, 3 oder mehr) werden mittels logischer Verknüpfung zu einem Ausgangssignal (auch 2 oder mehr Ausgangssignale sind möglich) zusammengesetzt. Die logische Verknüpfung definiert die Gesetzmäßigkeiten und logische Zusammenhänge zwischen Eingangssignal und Ausgangssignal. (de) Λογικές συναρτήσεις ονομάζουμε εκείνες για τις οποίες μπορούμε να αποφασίσουμε αν είναι αληθείς ή όχι. Χειριζόμαστε τις λογικές προτάσεις στην συγγραφή λογισμικού και στην προτασιακή λογική.Οι μεταβλητές που εκπροσωπούν λογικές προτάσεις ονομάζονται λογικές μεταβλητές. Οι συναρτήσεις που περιέχουν λογικές μεταβλητές λέγονται λογικές συναρτήσεις ή συναρτήσεις αληθείας. (el) En lógica, una conectiva lógica, o también conectiva (también llamado operador lógico o conectores lógicos) es un símbolo o palabra que se utiliza para conectar dos fórmulas bien formadas o sentencias (atómicas o moleculares), de modo que el valor de verdad de la fórmula compuesta depende del valor de verdad de las fórmulas componentes. Los conectivos lógicos más comunes son los conectivos binarios (también llamados conectivos diádicos) que unen dos frases, que pueden ser consideradas los operandos de la función. También es común considerar a la negación como un conectivo monádico. Las conectivas lógicas son, junto con los cuantificadores, las principales constantes lógicas de muchos sistemas lógicos, principalmente la lógica proposicional y la lógica de predicados. En programación se utilizan para combinar valores de verdad y obtener nuevos valores que determinen el flujo de control de un algoritmo o programa. (es) Lokailu logikoa edo eragile logikoa bi proposizio edo esaldi lotzen dituen ikur edo hitza da, non loturaren emaitzaren egia-balioa hasierako esaldien egia-balioaren mendean dagoen soilik. (eu) In logic, a logical connective (also called a logical operator, sentential connective, or sentential operator) is a logical constant. They can be used to connect logical formulas. For instance in the syntax of propositional logic, the binary connective can be used to join the two atomic formulas and , rendering the complex formula . Common connectives include negation, disjunction, conjunction, and implication. In standard systems of classical logic, these connectives are interpreted as truth functions, though they receive a variety of alternative interpretations in nonclassical logics. Their classical interpretations are similar to the meanings of natural language expressions such as English "not", "or", "and", and "if", but not identical. Discrepancies between natural language connectives and those of classical logic have motivated nonclassical approaches to natural language meaning as well as approaches which pair a classical compositional semantics with a robust pragmatics. A logical connective is similar to, but not equivalent to, a syntax commonly used in programming languages called a conditional operator. (en) En logique, un connecteur logique est un opérateur booléen utilisé dans le calcul des propositions. Comme dans toute approche logique, il faut distinguer un aspect syntaxique et un aspect sémantique. (fr) Dalam logika, operator logika atau perangkai logika merupakan yang dipakai untuk menghubungkan rumus-rumus logika. Sebagai contoh, dalam , operasi biner yang dipakai untuk menggabungkan dua dan , memberikan rumus kompleks . Operator pada umumnya meliputi negasi, , , dan . Namun dalam sistem yang standar, perangkai tersebut dipandang sebagai , meskipun perangkai tersebut menerima berbagai pandangan lain dalam logika dalam . Pandangan tersebut menyerupai pengertian dari kata "bukan", "atau", "dan", dan "jika", namun tidak identik. * l * * s (in) 논리 연산(logical operation, logical connective) 혹은 불 연산(boolean operation)은 참, 거짓 두 가지 원소(진리값으로 불림)만 존재하는 집합(환으로 불림)에서의 연산이다. 논리합(OR, ∨), 논리곱(AND, ∧), 부정(NOT, ~/¬), 배타적 논리합(XOR, ⊕), 명제, 동치 등이 있다. 수학이나 논리학 또는 컴퓨터 과학의 프로그래밍 언어 등에서 사용한다. 프로그래밍 언어에서는 비트 연산이라고도 한다. (ko) Un connettivo logico o operatore logico (nel contesto dell'algebra di Boole, i connettivi logici sono detti anche operatori booleani), è un elemento grammaticale di collegamento che instaura fra due proposizioni A e B una qualche relazione che dia origine ad una terza proposizione C con un valore vero o falso, in base ai valori delle due proposizioni fattori ed al carattere del connettivo utilizzato. (it) 論理演算（ろんりえんざん、logical operation）は、論理式において、論理演算子などで表現される論理関数（ブール関数）を評価し（正確には、関数適用を評価し）、変数（変項）さらには論理式全体の値を求める演算である。 非古典論理など他にも多くの論理の体系があるが、ここでは古典論理のうちの命題論理、特にそれを形式化したブール論理に話を絞る。従って対象がとる値は真理値の2値のみに限られる。また、その真理値の集合（真理値集合）と演算（演算子）はブール代数を構成する。 コンピュータのプロセッサやプログラミング言語で多用されるものに、ブーリアン型を対象とした通常の論理演算の他に、ワード等のビット毎に論理演算を行なう演算があり、ビット演算という。 なお、以上はモデル論的な議論であり、証明論的には、公理と推論規則に従って論理式を変形（書き換え）する演算がある（証明論#証明計算の種類）。 (ja) Funktor zdaniotwórczy – wyrażenie, które wraz z innymi wyrażeniami, nazywanymi argumentami funktora, tworzy zdanie lub funkcję zdaniową. (pl) Em lógica, um conectivo lógico (também chamado de operador lógico) é um símbolo ou palavra usado para conectar duas ou mais sentenças (tanto na linguagem formal quanto na linguagem natural) de uma maneira gramaticalmente válida, de modo que o sentido da sentença composta produzida dependa apenas das senteças originais. Os conectivos lógicos mais comuns são os conectivos binários (também chamados de conectivos diádicos), que juntam duas sentenças, que podem ser consideradas os operandos da função. É também comum considerar negação como um conectivo unário. Conectivos lógicos e quantificadores são os dois principais tipos de constantes lógicas usadas em sistemas formais como a lógica proposicional e a lógica de predicados. A semântica de um conectivo lógico é, muitas vezes, mas não sempre, apresentada como uma função de verdade. Um conectivo lógico é similar, mas não equivalente, a um . (pt) En logisk operator är ett konnektiv inom satslogiken, vilket används för att sammanfoga två eller flera satser. En sats som innehåller sådana operatorer sägs vara sammansatt. Av de enkla satserna "det regnar" och "jag är inomhus" kan man exempelvis skapa de sammansatta satserna "det regnar och jag är inomhus" samt "om det regnar, så är jag inomhus". De olika operatorerna definieras med hjälp av sanningsvärdetabeller. (sv) В логике логи́ческими опера́циями называют действия, вследствие которых порождаются новые понятия, с использованием уже существующих. В более узком смысле, понятие логической операции используется в математической логике и программировании. (ru) Логі́чний сполу́чник (або логічний оператор) — логічний термін, функція якого полягає в утворенні складних висловлювань. Спеціальні назви і символи для позначення логічних сполучників: * — заперечення («не»); * — кон'юнкція («і»); * — диз'юнкція («або»); * — імплікація («якщо, то»); * — еквіваленція («якщо і тільки якщо, то»). (uk) 在形式逻辑中，逻辑运算符或逻辑联结词把语句连接成更复杂的复杂语句。例如，假设有两个逻辑命题，分别是“正在下雨”和“我在屋里”，我们可以将它们组成复杂命题“正在下雨，并且我在屋里”或“没有正在下雨”或“如果正在下雨，那么我在屋里”。一个将两个语句组成的新的语句或命题叫做复合语句或复合命题。又称逻辑操作符（Logical Operators）。 (zh) |
| dbo:thumbnail | wiki-commons:Special:FilePath/Logical_connectives_Hasse_diagram.svg?width=300 |
| dbo:wikiPageExternalLink | https://plato.stanford.edu/entries/connectives-logic/ https://plato.stanford.edu/entries/logical-constants/ |
| dbo:wikiPageID | 18153 (xsd:integer) |
| dbo:wikiPageInterLanguageLink | dbpedia-da:Logisk_konnektiv |
| dbo:wikiPageLength | 26740 (xsd:nonNegativeInteger) |
| dbo:wikiPageRevisionID | 1121694004 (xsd:integer) |
| dbo:wikiPageWikiLink | dbr:Begriffsschrift dbr:Prime_(symbol) dbr:Propositional_calculus dbr:Sheffer_stroke dbr:Bertrand_Russell dbr:Binary_numeral_system dbr:Binary_relation dbr:Bitwise_operation dbr:David_Hilbert dbr:Antecedent_(logic) dbr:Validity_(logic) dbr:Variably_strict_conditional dbr:Dynamic_semantics dbr:Intuitionistic_logic dbr:Inverter_(logic_gate) dbc:Logic_symbols dbr:Commutativity dbr:Material_conditional dbr:Mathematical_logic dbr:NAND_gate dbr:NOR_gate dbr:Negation dbr:OR_gate dbr:Modal_operator dbr:Scalar_implicature dbr:Elementary_algebra dbr:English_language dbr:George_Boole dbr:Gerhard_Gentzen dbr:Giuseppe_Peano dbr:Gottlob_Frege dbr:Monotonicity dbr:Moses_Schönfinkel dbc:Logical_connectives dbr:Conditional_operator dbr:Contradiction dbr:Arity dbr:Alternative_question dbr:Logical_NOR dbr:Logical_conjunction dbr:Stanford_Encyclopedia_of_Philosophy dbr:Complementizer dbr:Computer_programming dbr:Denotation dbr:Functional_completeness dbr:Polish_notation dbr:Propositional_logic dbr:Suffix dbr:Syntax_(logic) dbr:Many-valued_logic dbr:Material_nonimplication dbr:Truth dbr:Truth_function dbr:Truth_table dbr:Truth_value dbr:Lazy_evaluation dbr:List_of_Boolean_algebra_topics dbr:Logical_biconditional dbr:Grammatical_conjunction dbr:Affine_transformation dbr:Alfred_Tarski dbr:DRAM dbr:Duality_(mathematics) dbr:Exclusive_or dbr:False_(logic) dbr:Absorption_Law dbr:Formal_language dbr:Formal_semantics_(natural_language) dbr:Four-valued_logic dbr:Grammatical_particle dbr:Conditional_(programming) dbr:Digital_circuit dbr:Logical_constant dbr:Strict_conditional dbr:Logical_disjunction dbr:Logical_equivalence dbr:Logic_gate dbr:Well-formed_formula dbr:Atomic_formula dbr:Intersection_(set_theory) dbr:Involution_(mathematics) dbr:Jan_Łukasiewicz dbr:Tautology_(logic) dbr:Hurford_disjunction dbr:Arend_Heyting dbr:Associativity dbr:AND_gate dbr:Abstract_algebraic_logic dbr:Charles_Sanders_Peirce dbr:Józef_Maria_Bocheński dbr:Bit_array dbr:Syntactic_sugar dbr:Triviality_(mathematics) dbr:Distributivity dbr:Axiom dbr:Boolean-valued_function dbr:Boolean_algebra dbr:Boolean_algebra_(structure) dbr:Boolean_domain dbr:Boolean_function dbr:Boolean_ring dbr:Springer_Science+Business_Media dbr:Classical_logic dbr:Free_choice_inference dbr:Converse_implication dbr:Exclusive_disjunction dbr:Idempotence dbr:If_and_only_if dbr:New_York_City dbr:Semantics_(natural_language) dbr:Semantics_of_logic dbr:Side_effect_(computer_science) dbr:Union_(set_theory) dbr:Verb dbr:Logical_nor dbr:Nonclassical_logic dbr:IMPLY_gate dbr:Two-element_Boolean_algebra dbr:NIMPLY_gate dbr:XNOR_gate dbr:Xnor dbr:Pragmatics dbr:Paradoxes_of_material_implication dbr:Boolean_logic dbr:Counterfactual_conditionals dbr:Disjunction dbr:Donkey_anaphora dbr:Constructive_mathematics dbr:Logical_nand dbr:Precedence_rule dbr:File:Blank_Square.svg dbr:File:Logical_connectives_Hasse_diagram.svg dbr:File:Venn10.svg dbr:File:Venn0101.svg dbr:File:Venn1101.svg dbr:File:Red_Square.svg dbr:File:Venn0011.svg dbr:File:Venn1000.svg dbr:File:Venn1001.svg dbr:File:Venn1011.svg dbr:File:Venn1110.svg dbr:File:Venn0001.svg dbr:File:Venn01.svg dbr:File:Venn0110.svg dbr:File:Venn0111.svg |
| dbp:id | p/p075490 (en) |
| dbp:title | Propositional connective (en) |
| dbp:wikiPageUsesTemplate | dbt:Springer dbt:Not dbt:Authority_control dbt:Better_source_needed dbt:Citation dbt:Cite_book dbt:Commons_category dbt:Div_col dbt:Div_col_end dbt:Expand_section dbt:For dbt:Math dbt:Mvar dbt:Portal dbt:Reflist dbt:Section_link dbt:Short_description dbt:Mathematical_logic dbt:Logical_connectives dbt:Formal_semantics |
| dct:subject | dbc:Logic_symbols dbc:Logical_connectives |
| gold:hypernym | dbr:Symbol |
| rdf:type | owl:Thing dbo:Place yago:WikicatLogicSymbols yago:WikicatLogicalConnectives yago:Abstraction100002137 yago:Cognition100023271 yago:Communication100033020 yago:Concept105835747 yago:Conjunction106325826 yago:Content105809192 yago:FunctionWord106291318 yago:Idea105833840 yago:LanguageUnit106284225 yago:Part113809207 yago:PsychologicalFeature100023100 yago:Relation100031921 yago:Word106286395 yago:Signal106791372 yago:Symbol106806469 yago:WikicatProgrammingLanguageConcepts |
| rdfs:comment | الرابطة المنطقية في علم المنطق هي مجموعة من كلمات أو رموز تسهم في الربط بين جملتين أو أكثر بأسلوب صحيح لغوياً ومنطقياً.يستخدم الربط المنطقي في أسلوب الكتابة العادية وفي البرمجة. (ar) En lògica, les connectives lògiques són les eines que permeten construir enunciats o fórmules a partir dels . Les més conegudes són no, i, o i la construcció condicional si ...llavors. Aquestes connectives es representen: , no, i, o (inclusiva), si...llavors (ca) Eine Logische Verknüpfung ist eine Operation der Booleschen Algebra. Mit Hilfe der logischen Verknüpfungen lassen sich in der Aussagenlogik und Schaltalgebra aus einfacheren Aussagen kompliziertere Aussagen zusammensetzen. Dabei muss der Wahrheitswert der zusammengesetzten Aussage durch die Wahrheitswerte der enthaltenen einfacheren Aussagen eindeutig bestimmt sein, beispielsweise durch eine Wahrheitstabelle (Wahrheitstafel). Eine Wahrheitstabelle ist die Definition einer logischen Verknüpfung. Mehrere Eingangssignale (1, 2, 3 oder mehr) werden mittels logischer Verknüpfung zu einem Ausgangssignal (auch 2 oder mehr Ausgangssignale sind möglich) zusammengesetzt. Die logische Verknüpfung definiert die Gesetzmäßigkeiten und logische Zusammenhänge zwischen Eingangssignal und Ausgangssignal. (de) Λογικές συναρτήσεις ονομάζουμε εκείνες για τις οποίες μπορούμε να αποφασίσουμε αν είναι αληθείς ή όχι. Χειριζόμαστε τις λογικές προτάσεις στην συγγραφή λογισμικού και στην προτασιακή λογική.Οι μεταβλητές που εκπροσωπούν λογικές προτάσεις ονομάζονται λογικές μεταβλητές. Οι συναρτήσεις που περιέχουν λογικές μεταβλητές λέγονται λογικές συναρτήσεις ή συναρτήσεις αληθείας. (el) Lokailu logikoa edo eragile logikoa bi proposizio edo esaldi lotzen dituen ikur edo hitza da, non loturaren emaitzaren egia-balioa hasierako esaldien egia-balioaren mendean dagoen soilik. (eu) En logique, un connecteur logique est un opérateur booléen utilisé dans le calcul des propositions. Comme dans toute approche logique, il faut distinguer un aspect syntaxique et un aspect sémantique. (fr) Dalam logika, operator logika atau perangkai logika merupakan yang dipakai untuk menghubungkan rumus-rumus logika. Sebagai contoh, dalam , operasi biner yang dipakai untuk menggabungkan dua dan , memberikan rumus kompleks . Operator pada umumnya meliputi negasi, , , dan . Namun dalam sistem yang standar, perangkai tersebut dipandang sebagai , meskipun perangkai tersebut menerima berbagai pandangan lain dalam logika dalam . Pandangan tersebut menyerupai pengertian dari kata "bukan", "atau", "dan", dan "jika", namun tidak identik. * l * * s (in) 논리 연산(logical operation, logical connective) 혹은 불 연산(boolean operation)은 참, 거짓 두 가지 원소(진리값으로 불림)만 존재하는 집합(환으로 불림)에서의 연산이다. 논리합(OR, ∨), 논리곱(AND, ∧), 부정(NOT, ~/¬), 배타적 논리합(XOR, ⊕), 명제, 동치 등이 있다. 수학이나 논리학 또는 컴퓨터 과학의 프로그래밍 언어 등에서 사용한다. 프로그래밍 언어에서는 비트 연산이라고도 한다. (ko) Un connettivo logico o operatore logico (nel contesto dell'algebra di Boole, i connettivi logici sono detti anche operatori booleani), è un elemento grammaticale di collegamento che instaura fra due proposizioni A e B una qualche relazione che dia origine ad una terza proposizione C con un valore vero o falso, in base ai valori delle due proposizioni fattori ed al carattere del connettivo utilizzato. (it) 論理演算（ろんりえんざん、logical operation）は、論理式において、論理演算子などで表現される論理関数（ブール関数）を評価し（正確には、関数適用を評価し）、変数（変項）さらには論理式全体の値を求める演算である。 非古典論理など他にも多くの論理の体系があるが、ここでは古典論理のうちの命題論理、特にそれを形式化したブール論理に話を絞る。従って対象がとる値は真理値の2値のみに限られる。また、その真理値の集合（真理値集合）と演算（演算子）はブール代数を構成する。 コンピュータのプロセッサやプログラミング言語で多用されるものに、ブーリアン型を対象とした通常の論理演算の他に、ワード等のビット毎に論理演算を行なう演算があり、ビット演算という。 なお、以上はモデル論的な議論であり、証明論的には、公理と推論規則に従って論理式を変形（書き換え）する演算がある（証明論#証明計算の種類）。 (ja) Funktor zdaniotwórczy – wyrażenie, które wraz z innymi wyrażeniami, nazywanymi argumentami funktora, tworzy zdanie lub funkcję zdaniową. (pl) En logisk operator är ett konnektiv inom satslogiken, vilket används för att sammanfoga två eller flera satser. En sats som innehåller sådana operatorer sägs vara sammansatt. Av de enkla satserna "det regnar" och "jag är inomhus" kan man exempelvis skapa de sammansatta satserna "det regnar och jag är inomhus" samt "om det regnar, så är jag inomhus". De olika operatorerna definieras med hjälp av sanningsvärdetabeller. (sv) В логике логи́ческими опера́циями называют действия, вследствие которых порождаются новые понятия, с использованием уже существующих. В более узком смысле, понятие логической операции используется в математической логике и программировании. (ru) Логі́чний сполу́чник (або логічний оператор) — логічний термін, функція якого полягає в утворенні складних висловлювань. Спеціальні назви і символи для позначення логічних сполучників: * — заперечення («не»); * — кон'юнкція («і»); * — диз'юнкція («або»); * — імплікація («якщо, то»); * — еквіваленція («якщо і тільки якщо, то»). (uk) 在形式逻辑中，逻辑运算符或逻辑联结词把语句连接成更复杂的复杂语句。例如，假设有两个逻辑命题，分别是“正在下雨”和“我在屋里”，我们可以将它们组成复杂命题“正在下雨，并且我在屋里”或“没有正在下雨”或“如果正在下雨，那么我在屋里”。一个将两个语句组成的新的语句或命题叫做复合语句或复合命题。又称逻辑操作符（Logical Operators）。 (zh) In logic, a logical connective (also called a logical operator, sentential connective, or sentential operator) is a logical constant. They can be used to connect logical formulas. For instance in the syntax of propositional logic, the binary connective can be used to join the two atomic formulas and , rendering the complex formula . A logical connective is similar to, but not equivalent to, a syntax commonly used in programming languages called a conditional operator. (en) En lógica, una conectiva lógica, o también conectiva (también llamado operador lógico o conectores lógicos) es un símbolo o palabra que se utiliza para conectar dos fórmulas bien formadas o sentencias (atómicas o moleculares), de modo que el valor de verdad de la fórmula compuesta depende del valor de verdad de las fórmulas componentes. Los conectivos lógicos más comunes son los conectivos binarios (también llamados conectivos diádicos) que unen dos frases, que pueden ser consideradas los operandos de la función. También es común considerar a la negación como un conectivo monádico. (es) Em lógica, um conectivo lógico (também chamado de operador lógico) é um símbolo ou palavra usado para conectar duas ou mais sentenças (tanto na linguagem formal quanto na linguagem natural) de uma maneira gramaticalmente válida, de modo que o sentido da sentença composta produzida dependa apenas das senteças originais. Os conectivos lógicos mais comuns são os conectivos binários (também chamados de conectivos diádicos), que juntam duas sentenças, que podem ser consideradas os operandos da função. É também comum considerar negação como um conectivo unário. (pt) |
| rdfs:label | رابطة منطقية (ar) Connectiva lògica (ca) Logische Verknüpfung (de) Λογικές συναρτήσεις (el) Conectiva lógica (es) Lokailu logiko (eu) Operator logika (in) Connecteur logique (fr) Connettivo logico (it) 論理演算 (ja) Logical connective (en) 논리 연산 (ko) Funktor zdaniotwórczy (pl) Conectivo lógico (pt) Логическая операция (ru) Logisk operator (sv) 逻辑运算符 (zh) Логічний сполучник (uk) |
| owl:sameAs | freebase:Logical connective http://d-nb.info/gnd/4168049-2 yago-res:Logical connective wikidata:Logical connective dbpedia-ar:Logical connective dbpedia-az:Logical connective dbpedia-bg:Logical connective dbpedia-ca:Logical connective dbpedia-da:Logical connective dbpedia-de:Logical connective dbpedia-el:Logical connective dbpedia-es:Logical connective dbpedia-et:Logical connective dbpedia-eu:Logical connective dbpedia-fa:Logical connective dbpedia-fr:Logical connective dbpedia-he:Logical connective dbpedia-hu:Logical connective http://hy.dbpedia.org/resource/Տրամաբանական_գործողություն dbpedia-id:Logical connective dbpedia-is:Logical connective dbpedia-it:Logical connective dbpedia-ja:Logical connective dbpedia-kk:Logical connective dbpedia-ko:Logical connective dbpedia-mk:Logical connective dbpedia-ms:Logical connective dbpedia-nn:Logical connective dbpedia-pl:Logical connective dbpedia-pt:Logical connective dbpedia-ro:Logical connective dbpedia-ru:Logical connective dbpedia-sk:Logical connective dbpedia-sv:Logical connective http://ta.dbpedia.org/resource/ஏரண_இணைப்பி http://tg.dbpedia.org/resource/Амалҳои_мантиқӣ dbpedia-th:Logical connective dbpedia-tr:Logical connective dbpedia-uk:Logical connective http://ur.dbpedia.org/resource/منطقی_عامل dbpedia-zh:Logical connective https://global.dbpedia.org/id/21aBD |
| prov:wasDerivedFrom | wikipedia-en:Logical_connective?oldid=1121694004&ns=0 |
| foaf:depiction | wiki-commons:Special:FilePath/Venn0111.svg wiki-commons:Special:FilePath/Blank_Square.svg wiki-commons:Special:FilePath/Logical_connectives_Hasse_diagram.svg wiki-commons:Special:FilePath/Red_Square.svg wiki-commons:Special:FilePath/Venn0001.svg wiki-commons:Special:FilePath/Venn0011.svg wiki-commons:Special:FilePath/Venn01.svg wiki-commons:Special:FilePath/Venn0101.svg wiki-commons:Special:FilePath/Venn0110.svg wiki-commons:Special:FilePath/Venn10.svg wiki-commons:Special:FilePath/Venn1000.svg wiki-commons:Special:FilePath/Venn1001.svg wiki-commons:Special:FilePath/Venn1011.svg wiki-commons:Special:FilePath/Venn1101.svg wiki-commons:Special:FilePath/Venn1110.svg |
| foaf:isPrimaryTopicOf | wikipedia-en:Logical_connective |
| is dbo:wikiPageDisambiguates of | dbr:Connective |
| is dbo:wikiPageRedirects of | dbr:Logical_operator dbr:Logical_connectives dbr:Unary_connective dbr:⨇ dbr:Propositional_operator dbr:Dyadic_connective dbr:Connective_(logic) dbr:Connectives dbr:Binary_connective dbr:Sentence_connective dbr:Sentential_connective dbr:Logical_connector dbr:Logical_operation dbr:Logical_operations dbr:Logical_operators dbr:Truth-functional_connective dbr:Truth_functional_connective |
| is dbo:wikiPageWikiLink of | dbr:Proof_sketch_for_Gödel's_first_incompleteness_theorem dbr:Propositional_calculus dbr:Propositional_formula dbr:Quantum_logic dbr:Quantum_logic_gate dbr:Query_language dbr:Mental_operations dbr:Universal_quantification dbr:Semigroup_with_two_elements dbr:Deductive_reasoning dbr:Algebraic_structure dbr:Antecedent_(logic) dbr:Argumentation_scheme dbr:List_of_set_identities_and_relations dbr:V850 dbr:Validity_(logic) dbr:Deflationary_theory_of_truth dbr:Index_of_philosophy_articles_(I–Q) dbr:Indicative_conditional dbr:Inquisitive_semantics dbr:Interpretation_(logic) dbr:Intuitionistic_logic dbr:Universal_algebra dbr:List_of_logic_symbols dbr:Post's_lattice dbr:Short-circuit_evaluation dbr:Structural_proof_theory dbr:Syncategorematic_term dbr:Commutative_property dbr:Craig_interpolation dbr:NAR_2 dbr:Negation dbr:Prenex_normal_form dbr:Modal_operator dbr:Structural_rule dbr:Pure_inductive_logic dbr:Rado_graph dbr:Timed_propositional_temporal_logic dbr:Chrysippus dbr:Glossary_of_artificial_intelligence dbr:Mxparser dbr:Conditional_quantifier dbr:Conditioned_disjunction dbr:Constructive_set_theory dbr:Contingency_(philosophy) dbr:Contraposition dbr:Converse_(logic) dbr:Converse_nonimplication dbr:Cook–Levin_theorem dbr:Crystallographic_database dbr:Proof-theoretic_semantics dbr:Linear_logic dbr:Logic dbr:Logical_conjunction dbr:Logical_operator dbr:Ludics dbr:MacPorts dbr:Clause_(logic) dbr:Completeness_(logic) dbr:Complex_question dbr:Complexity_class dbr:Computation_tree_logic dbr:Functional_completeness dbr:Functional_predicate dbr:Kripke_semantics dbr:Polish_notation dbr:Proposition dbr:Stoicism dbr:Symmetry dbr:Mathematical_notation dbr:Admissible_rule dbr:Truth_function dbr:Truth_table dbr:Truth_value dbr:Windows_Calculator dbr:Distributive_property dbr:Is_Logic_Empirical? dbr:Laws_of_Form dbr:Linear_temporal_logic dbr:List_of_Boolean_algebra_topics dbr:Logical_biconditional dbr:Logical_form dbr:Logical_harmony dbr:Logical_truth dbr:Logics_for_computability dbr:Minimal_logic dbr:Paraconsistent_logic dbr:Algebraic_logic dbr:Exclusive_or dbr:False_(logic) dbr:First-order_logic dbr:Numeric_std dbr:Four-valued_logic dbr:Gmail_interface dbr:Logical_constant dbr:Scott_continuity dbr:Strict_conditional dbr:List_of_Hilbert_systems dbr:Logical_disjunction dbr:Natural_deduction dbr:Recursive_definition dbr:Predicate_functor_logic dbr:Well-formed_formula dbr:Relation_algebra dbr:Relevance_logic dbr:Rete_algorithm dbr:Systematic_review dbr:Herma_(Xenakis) dbr:Atomic_formula dbr:Atomic_sentence dbr:Interpretations_of_quantum_mechanics dbr:Jan_Łukasiewicz dbr:Term_(logic) dbr:Associative_property dbr:Binary_number dbr:Jean_Nicod dbr:DocFetcher dbr:Authority_control dbr:Axiom dbr:BL_(logic) dbr:Boolean_algebra dbr:Boolean_function dbr:Connective dbr:If_and_only_if dbr:Implicational_propositional_calculus dbr:Algebra_(disambiguation) dbr:Method_of_analytic_tableaux dbr:Markov_logic_network dbr:Metric_temporal_logic dbr:Monoidal_t-norm_logic dbr:Rule_of_inference dbr:SNePS dbr:Sentence_(mathematical_logic) dbr:Nicod's_axiom dbr:Logical_connectives dbr:Tarski–Seidenberg_theorem dbr:Propositional_variable dbr:Ugly_duckling_theorem dbr:Evert_Willem_Beth dbr:Existential_quantification dbr:Existential_theory_of_the_reals dbr:NWScript dbr:Standard_translation dbr:Semantic_theory_of_truth dbr:Unary_connective dbr:Non-classical_logic dbr:Non-logical_symbol dbr:Package-deal_fallacy dbr:Rules_of_passage_(logic) dbr:Philosophy_of_logic dbr:Outline_of_logic dbr:Paradoxes_of_material_implication dbr:⨇ dbr:Propositional_operator dbr:Dyadic_connective dbr:Connective_(logic) dbr:Connectives dbr:Binary_connective dbr:Sentence_connective dbr:Sentential_connective dbr:Logical_connector dbr:Logical_operation dbr:Logical_operations dbr:Logical_operators dbr:Truth-functional_connective dbr:Truth_functional_connective |
| is rdfs:seeAlso of | dbr:List_of_mathematical_symbols_by_subject |
| is foaf:primaryTopic of | wikipedia-en:Logical_connective |
