In logic, a logical connective (also called a logical operator) is a symbol or word used to connect two or more sentences (of either a formal or a natural language) in a grammatically valid way, such that the sense of the compound sentence produced depends only on the original sentences. The most common logical connectives are binary connectives (also called dyadic connectives) which join two sentences which can be thought of as the function's operands. Also commonly, negation is considered to be a unary connective.

Property Value
dbo:abstract
  • In logic, a logical connective (also called a logical operator) is a symbol or word used to connect two or more sentences (of either a formal or a natural language) in a grammatically valid way, such that the sense of the compound sentence produced depends only on the original sentences. The most common logical connectives are binary connectives (also called dyadic connectives) which join two sentences which can be thought of as the function's operands. Also commonly, negation is considered to be a unary connective. Logical connectives along with quantifiers are the two main types of logical constants used in formal systems such as propositional logic and predicate logic. Semantics of a logical connective is often, but not always, presented as a truth function. A logical connective is similar to but not equivalent to a conditional operator. (en)
  • الرابطة المنطقية في علم المنطق هي مجموعة من كلمات أو رموز تسهم في الربط بين جملتين أو أكثر بأسلوب صحيح لغوياً ومنطقياً.يستخدم الربط المنطقي في أسلوب الكتابة العادية وفي البرمجة. (ar)
  • Ein Junktor (von lat. iungere „verknüpfen, verbinden“) ist eine logische Verknüpfung zwischen Aussagen innerhalb der Aussagenlogik, also ein logischer Operator. Junktoren werden auch Konnektive, Konnektoren, Satzoperatoren, Satzverknüpfer, Satzverknüpfungen, Aussagenverknüpfer, logische Bindewörter, Verknüpfungszeichen oder Funktoren genannt und als logische Partikel klassifiziert. Sprachlich wird zwischen der jeweiligen Verknüpfung selbst (zum Beispiel der Konjunktion) und dem sie bezeichnenden Wort beziehungsweise Sprachzeichen (zum Beispiel dem Wort „und“ beziehungsweise dem Zeichen „∧“) oft nicht unterschieden. In Programmiersprachen werden ebenfalls aussagenlogische Junktoren verwendet, die sich aber in wesentlichen Punkten von den üblichen aussagenlogischen Junktoren unterscheiden. Sie werden dort überwiegend als logische Operatoren bezeichnet. (de)
  • En lógica, una conectiva lógica, o simplemente 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)
  • Un connecteur logique (ou opérateur logique) est, en logique et en linguistique, un symbole ou un mot établissant une liaison entre deux énoncés. (fr)
  • Un connettivo logico, o operatore logico, è 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. Nel contesto dell'algebra di Boole, i connettivi logici sono detti anche operatori booleani. I principali connettivi logici binari sono: * la congiunzione logica e, in latino et, in logica booleana AND, indicata con il simbolo * la disgiunzione inclusiva o (talvolta indicato come e/o), in latino vel, in logica booleana OR, indicata con il simbolo * la disgiunzione esclusiva o o o... o..., in latino aut, in logica booleana XOR, indicata dal simbolo oppure * l'implicazione logica se ... allora ... indicata col simbolo oppure * la coimplicazione o doppia implicazione se e solo se indicata col simbolo oppure Spesso si annovera inoltre fra i connettivi logici la negazione logica "non", indicata con il simbolo la quale agisce però su un'unica proposizione, mentre gli altri connettivi logici si dicono appunto binari perché operano su almeno due proposizioni. I connettivi logici possono essere separati da parentesi tonde. Esistono regole di precedenza fra i connettivi logici (dimostrabili col semplice calcolo algebrico), analoghe a quelle esistenti fra le quattro operazioni elementari (secondo le quali la coppia di moltiplicazione e divisione, precedono somma e sottrazione): la negazione precede tutti gli altri connettivi, congiunzione e disgiunzione precedono sia l'implicazione che la doppia implicazione. Le regole di precedenza rendono in molti casi superfluo l'uso delle parentesi tonde, che possono tranquillamente essere omesse. Ognuna delle operazioni logiche suddette è efficacemente esplicata nella propria tavola di verità, la quale evidenzia i valori risultanti da tutte le possibili combinazioni esistenti fra le due proposizioni di partenza A e B, siano esse vere o false, utilizzando il connettivo dato. Le tavole di verità degli operatori logici sono state formalizzate per la prima volta nel Tractatus logico-philosophicus di Ludwig Wittgenstein. Assunti di base della tavola di verità sono il principio di determinatezza e il principio di bivalenza, degli enunciati dichiarativi secondo il quale una proposizione può trovarsi in uno e un solo Stato di verità, e gli Stati di verità possibili che un enunciato può assumere sono soltanto due, "vero" oppure "falso". Entrambi i due principi citati non sono dimostrati né in via deduttiva (dal particolare al generale) né in via induttiva (dal caso generale a quello particolare), e nello stesso tempo non sono negati da nessuna delle logiche matematiche note; si applicano al singolo enunciato elementare atomico, non ulteriormente scomponibile, e non sono da confondere con principi equivalenti ma "binari", cioè che si applicano invece all'insieme di due o più enunciati legati da un connettivo logico: principio di non-contraddizione e principio del terzo escluso. Non tutti gli enunciati sono di tipo dichiarativo ovvero atti ad assumere un valore di verità "vero" oppure "falso": già Aristotele affermava che la preghiera è un discorso né vero né falso, quindi irrilevante per la logica. Altro esempio di enunciati non dichiarativi sono quelli modali, caratterizzati dalle parole logiche: "può essere..", "deve necessariamente...", "credo che...", "so che..."; oppure il paradosso del mentitore: "il cretese Epimènide dice che tutti i cretesi sono bugiardi", "questa frase è falsa". (it)
  • 論理演算(ろんりえんざん、logical operation, logical connection)あるいはブール演算(ブールえんざん、boolean operation)とは、「真」と「偽」の二つの元(真理値と呼ばれる)だけを持つ集合における演算である。(これらの演算によって上記の集合は環となり、ブール環と呼ばれる) 否定(NOT)・論理和(OR)・論理積(AND)・排他的論理和(XOR)・含意・同値などがある。 コンピュータプログラミング言語では通常の論理演算のほか、数値のビット毎に論理演算を行なう演算があり、これは特にビット演算という。 論理(論理学)でも使われるが、非古典論理では多値論理もあるので、真理値の集合の大きさが2よりも大きいこともある。 (ja)
  • Een booleaanse operator is een logische operator die vooral in de wiskunde en informatica wordt gebruikt. Booleaanse operatoren zijn gebaseerd op de booleaanse algebra. Het resultaat van een booleaanse bewerking heeft slechts twee mogelijke resultaten: waar of onwaar. In verschillende talen die in de wiskunde en informatica worden gebruikt, bestaan er verschillende aanduidingen (tekens) voor de booleaanse operatoren. Een booleaanse operator is een booleaanse functie met ariteit 2. (nl)
  • В логике логи́ческими опера́циями называют действия, вследствие которых порождаются готовые понятия, с использованием уже существующих. В более узком смысле, понятие логической операции используется в математической логике и программировании. (ru)
  • Funktor zdaniotwórczy – wyrażenie, które wraz z innymi wyrażeniami, nazywanymi argumentami funktora, tworzy zdanie lub funkcję zdaniową. (pl)
  • 在形式逻辑中,逻辑运算符或逻辑联结词把语句连接成更复杂的复杂语句。例如,假设有两个逻辑命题,分别是“正在下雨”和“我在屋里”,我们可以将它们组成复杂命题“正在下雨,并且我在屋里”或“没有正在下雨”或“如果正在下雨,那么我在屋里”。一个将两个语句组成的新的语句或命题叫做复合语句或复合命题。 (zh)
  • Para a 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 operador condicional. (pt)
dbo:wikiPageExternalLink
dbo:wikiPageID
  • 18153 (xsd:integer)
dbo:wikiPageRevisionID
  • 742980341 (xsd:integer)
dbp:id
  • p/p075490
dbp:title
  • Propositional connective
dct:subject
http://purl.org/linguistics/gold/hypernym
rdf:type
rdfs:comment
  • الرابطة المنطقية في علم المنطق هي مجموعة من كلمات أو رموز تسهم في الربط بين جملتين أو أكثر بأسلوب صحيح لغوياً ومنطقياً.يستخدم الربط المنطقي في أسلوب الكتابة العادية وفي البرمجة. (ar)
  • Un connecteur logique (ou opérateur logique) est, en logique et en linguistique, un symbole ou un mot établissant une liaison entre deux énoncés. (fr)
  • 論理演算(ろんりえんざん、logical operation, logical connection)あるいはブール演算(ブールえんざん、boolean operation)とは、「真」と「偽」の二つの元(真理値と呼ばれる)だけを持つ集合における演算である。(これらの演算によって上記の集合は環となり、ブール環と呼ばれる) 否定(NOT)・論理和(OR)・論理積(AND)・排他的論理和(XOR)・含意・同値などがある。 コンピュータプログラミング言語では通常の論理演算のほか、数値のビット毎に論理演算を行なう演算があり、これは特にビット演算という。 論理(論理学)でも使われるが、非古典論理では多値論理もあるので、真理値の集合の大きさが2よりも大きいこともある。 (ja)
  • Een booleaanse operator is een logische operator die vooral in de wiskunde en informatica wordt gebruikt. Booleaanse operatoren zijn gebaseerd op de booleaanse algebra. Het resultaat van een booleaanse bewerking heeft slechts twee mogelijke resultaten: waar of onwaar. In verschillende talen die in de wiskunde en informatica worden gebruikt, bestaan er verschillende aanduidingen (tekens) voor de booleaanse operatoren. Een booleaanse operator is een booleaanse functie met ariteit 2. (nl)
  • В логике логи́ческими опера́циями называют действия, вследствие которых порождаются готовые понятия, с использованием уже существующих. В более узком смысле, понятие логической операции используется в математической логике и программировании. (ru)
  • Funktor zdaniotwórczy – wyrażenie, które wraz z innymi wyrażeniami, nazywanymi argumentami funktora, tworzy zdanie lub funkcję zdaniową. (pl)
  • 在形式逻辑中,逻辑运算符或逻辑联结词把语句连接成更复杂的复杂语句。例如,假设有两个逻辑命题,分别是“正在下雨”和“我在屋里”,我们可以将它们组成复杂命题“正在下雨,并且我在屋里”或“没有正在下雨”或“如果正在下雨,那么我在屋里”。一个将两个语句组成的新的语句或命题叫做复合语句或复合命题。 (zh)
  • In logic, a logical connective (also called a logical operator) is a symbol or word used to connect two or more sentences (of either a formal or a natural language) in a grammatically valid way, such that the sense of the compound sentence produced depends only on the original sentences. The most common logical connectives are binary connectives (also called dyadic connectives) which join two sentences which can be thought of as the function's operands. Also commonly, negation is considered to be a unary connective. (en)
  • Ein Junktor (von lat. iungere „verknüpfen, verbinden“) ist eine logische Verknüpfung zwischen Aussagen innerhalb der Aussagenlogik, also ein logischer Operator. Junktoren werden auch Konnektive, Konnektoren, Satzoperatoren, Satzverknüpfer, Satzverknüpfungen, Aussagenverknüpfer, logische Bindewörter, Verknüpfungszeichen oder Funktoren genannt und als logische Partikel klassifiziert. (de)
  • En lógica, una conectiva lógica, o simplemente 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)
  • Un connettivo logico, o operatore logico, è 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. Nel contesto dell'algebra di Boole, i connettivi logici sono detti anche operatori booleani. I principali connettivi logici binari sono: * la congiunzione logica e, in latino et, in logica booleana AND, indicata con il simbolo oppure oppure oppure (it)
  • Para a 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
  • Logical connective (en)
  • رابطة منطقية (ar)
  • Junktor (de)
  • Conectiva lógica (es)
  • Connecteur logique (fr)
  • Connettivo logico (it)
  • 論理演算 (ja)
  • Booleaanse operator (nl)
  • Funktor zdaniotwórczy (pl)
  • Логическая операция (ru)
  • Conectivo lógico (pt)
  • 逻辑运算符 (zh)
owl:sameAs
prov:wasDerivedFrom
foaf:isPrimaryTopicOf
is dbo:wikiPageDisambiguates of
is dbo:wikiPageRedirects of
is rdfs:seeAlso of
is foaf:primaryTopic of