An Entity of Type: place, from Named Graph: http://dbpedia.org, within Data Space: dbpedia.org

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.

Property Value
dbo:abstract
  • 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)
  • الرابطة المنطقية في علم المنطق هي مجموعة من كلمات أو رموز تسهم في الربط بين جملتين أو أكثر بأسلوب صحيح لغوياً ومنطقياً.يستخدم الربط المنطقي في أسلوب الكتابة العادية وفي البرمجة. (ar)
  • 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)
  • 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 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)
  • 論理演算(ろんりえんざん、logical operation)は、論理式において、論理演算子などで表現される論理関数(ブール関数)を評価し(正確には、関数適用を評価し)、変数(変項)さらには論理式全体の値を求める演算である。 非古典論理など他にも多くの論理の体系があるが、ここでは古典論理のうちの命題論理、特にそれを形式化したブール論理に話を絞る。従って対象がとる値は真理値の2値のみに限られる。また、その真理値の集合(真理値集合)と演算(演算子)はブール代数を構成する。 コンピュータのプロセッサやプログラミング言語で多用されるものに、ブーリアン型を対象とした通常の論理演算の他に、ワード等のビット毎に論理演算を行なう演算があり、ビット演算という。 なお、以上はモデル論的な議論であり、証明論的には、公理と推論規則に従って論理式を変形(書き換え)する演算がある(証明論#証明計算の種類)。 (ja)
  • 논리 연산(logical operation, logical connective) 혹은 불 연산(boolean operation)은 참, 거짓 두 가지 원소(진리값으로 불림)만 존재하는 집합(환으로 불림)에서의 연산이다. 논리합(OR, ∨), 논리곱(AND, ∧), 부정(NOT, ~/¬), 배타적 논리합(XOR, ⊕), 명제, 동치 등이 있다. 수학이나 논리학 또는 컴퓨터 과학의 프로그래밍 언어등에서 사용한다. 프로그래밍 언어에서는 비트 연산이라고도 한다. (ko)
  • 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)
  • 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)
  • 在形式逻辑中,逻辑运算符或逻辑联结词把语句连接成更复杂的复杂语句。例如,假设有两个逻辑命题,分别是“正在下雨”和“我在屋里”,我们可以将它们组成复杂命题“正在下雨,并且我在屋里”或“没有正在下雨”或“如果正在下雨,那么我在屋里”。一个将两个语句组成的新的语句或命题叫做复合语句或复合命题。又称逻辑操作符(Logical Operators)。 (zh)
  • Логі́чний сполу́чник (або логічний оператор) — логічний термін, функція якого полягає в утворенні складних висловлювань. Спеціальні назви і символи для позначення логічних сполучників: * — заперечення («не»); * — кон'юнкція («і»); * — диз'юнкція («або»); * — імплікація («якщо, то»); * — еквіваленція («якщо і тільки якщо, то»). (uk)
dbo:thumbnail
dbo:wikiPageExternalLink
dbo:wikiPageID
  • 18153 (xsd:integer)
dbo:wikiPageInterLanguageLink
dbo:wikiPageLength
  • 26740 (xsd:nonNegativeInteger)
dbo:wikiPageRevisionID
  • 1070489823 (xsd:integer)
dbo:wikiPageWikiLink
dbp:id
  • p/p075490 (en)
dbp:title
  • Propositional connective (en)
dbp:wikiPageUsesTemplate
dct:subject
gold:hypernym
rdf:type
rdfs:comment
  • 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)
  • الرابطة المنطقية في علم المنطق هي مجموعة من كلمات أو رموز تسهم في الربط بين جملتين أو أكثر بأسلوب صحيح لغوياً ومنطقياً.يستخدم الربط المنطقي في أسلوب الكتابة العادية وفي البرمجة. (ar)
  • 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)
  • 論理演算(ろんりえんざん、logical operation)は、論理式において、論理演算子などで表現される論理関数(ブール関数)を評価し(正確には、関数適用を評価し)、変数(変項)さらには論理式全体の値を求める演算である。 非古典論理など他にも多くの論理の体系があるが、ここでは古典論理のうちの命題論理、特にそれを形式化したブール論理に話を絞る。従って対象がとる値は真理値の2値のみに限られる。また、その真理値の集合(真理値集合)と演算(演算子)はブール代数を構成する。 コンピュータのプロセッサやプログラミング言語で多用されるものに、ブーリアン型を対象とした通常の論理演算の他に、ワード等のビット毎に論理演算を行なう演算があり、ビット演算という。 なお、以上はモデル論的な議論であり、証明論的には、公理と推論規則に従って論理式を変形(書き換え)する演算がある(証明論#証明計算の種類)。 (ja)
  • 논리 연산(logical operation, logical connective) 혹은 불 연산(boolean operation)은 참, 거짓 두 가지 원소(진리값으로 불림)만 존재하는 집합(환으로 불림)에서의 연산이다. 논리합(OR, ∨), 논리곱(AND, ∧), 부정(NOT, ~/¬), 배타적 논리합(XOR, ⊕), 명제, 동치 등이 있다. 수학이나 논리학 또는 컴퓨터 과학의 프로그래밍 언어등에서 사용한다. 프로그래밍 언어에서는 비트 연산이라고도 한다. (ko)
  • 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)
  • 在形式逻辑中,逻辑运算符或逻辑联结词把语句连接成更复杂的复杂语句。例如,假设有两个逻辑命题,分别是“正在下雨”和“我在屋里”,我们可以将它们组成复杂命题“正在下雨,并且我在屋里”或“没有正在下雨”或“如果正在下雨,那么我在屋里”。一个将两个语句组成的新的语句或命题叫做复合语句或复合命题。又称逻辑操作符(Logical Operators)。 (zh)
  • Логі́чний сполу́чник (або логічний оператор) — логічний термін, функція якого полягає в утворенні складних висловлювань. Спеціальні назви і символи для позначення логічних сполучників: * — заперечення («не»); * — кон'юнкція («і»); * — диз'юнкція («або»); * — імплікація («якщо, то»); * — еквіваленція («якщо і тільки якщо, то»). (uk)
  • 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)
  • 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)
  • 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)
  • Λογικές συναρτήσεις (el)
  • Logische Verknüpfung (de)
  • Conectiva lógica (es)
  • Lokailu logiko (eu)
  • Connecteur logique (fr)
  • Logical connective (en)
  • Operator logika (in)
  • Connettivo logico (it)
  • 論理演算 (ja)
  • 논리 연산 (ko)
  • Conectivo lógico (pt)
  • Funktor zdaniotwórczy (pl)
  • Логическая операция (ru)
  • Logisk operator (sv)
  • 逻辑运算符 (zh)
  • Логічний сполучник (uk)
owl:sameAs
prov:wasDerivedFrom
foaf:depiction
foaf:isPrimaryTopicOf
is dbo:notableIdea of
is dbo:wikiPageDisambiguates of
is dbo:wikiPageRedirects of
is dbo:wikiPageWikiLink of
is dbp:notableIdeas of
is rdfs:seeAlso of
is foaf:primaryTopic of
Powered by OpenLink Virtuoso    This material is Open Knowledge     W3C Semantic Web Technology     This material is Open Knowledge    Valid XHTML + RDFa
This content was extracted from Wikipedia and is licensed under the Creative Commons Attribution-ShareAlike 3.0 Unported License