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.

PropertyValue
dbpedia-owl:abstract
  • 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.
  • Eragile logikoa, elektronika arloan, eragiketa aritmetiko (batuketa, kenketa,…) edo logiko (and, or,…) egiteko gai den zirkuitu elektroniko da.
  • 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.
  • Dalam logika, dua kalimat dapat digabungkan dengan operator logika untuk membentuk kalimat gabungan. Nilai kebenaran kalimat gabungan ini ditentukan oleh nilai kebenaran kalimat-kalimat pembentuknya. Operator logika di sini bertindak sebagai fungsi.Dalam bahasa sehari-hari, dua kalimat dapat digabungkan dengan konjungsi gramatik. Misalnya:A: Hari ini cuaca mendungB: Hari ini akan hujanC: Hari ini cuaca mendung dan hari ini akan hujanD: Hari ini cuaca mendung karena itu hari ini akan hujanKata dan dan karena itu adalah konjungsi gramatik yang menggabungkan kalimat (A) dan (B) untuk membentuk kalimat (C) dan (D). Dalam bahasa logika, ada 16 operator logika:
  • 論理演算(ろんりえんざん、logical operation, logical connection)あるいはブール演算(ブールえんざん、boolean operation)とは、「真」と「偽」の二つの元(真理値と呼ばれる)だけを持つ集合における演算である。(これらの演算によって上記の集合は環となり、ブール環と呼ばれる)否定(NOT)・論理和(OR)・論理積(AND)・排他的論理和(XOR)・含意・同値などがある。数理論理学やプログラミング言語などで使われる。プログラミング言語では通常の論理演算のほか、数値のビット毎に論理演算を行なう演算があり、これは特にビット演算という。
  • В логике логическими операциями называют действия, вследствие которых порождаются новые понятия, возможно с использованием уже существующих. В более узком, формализованном смысле, понятие логической операции используется в математической логике и программировании.
  • 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.
  • 논리 연산(logical operation, logical connective) 혹은 불 연산(boolean operation)은 참, 거짓 두가지 원소(진리값으로 불림)만 존재하는 집합(환으로 불림)에서의 연산이다.논리합(OR, ∨), 논리곱(AND, ∧), 부정(NOT, ~/¬), 배타적 논리합(XOR, ⊕), 명제, 동치 등이 있다.수학의 논리학이나 프로그래밍 언어에서 사용한다. 프로그래밍 언어에서는 비트 연산이라고도 한다.
  • Logikai műveletek alatt az ítéletkalkulus ítéletein definiált műveleteket értünk, amelyek segítségével az ítéletekből újabb, összetett ítéleteket alkothatunk. Az így képezett összetett ítéletek igazságértéke pedig egyértelműen meghatározható a kiindulási ítéletek igazságértékeiből.A logikai művelet, mint általános fogalom, számtalan különféle néven fordul elő a szakirodalomban. A szerzők beszélnek pl. logikai függvényekről, igazságfüggvényekről, logikai operátorokról (ezek közé általában a kvantorokat is beleértve), vagy - ritkábban - junktorokról.A legáltalánosabban használt logikai műveletek a negáció, a konjunkció, a diszjunkció, az implikáció és az ekvivalencia.A logikai műveleteket két nagy csoportba osztjuk: a formális logika és a szimbolikus logika.A formális logika célja a helyes következtetések levonása.A szimbolikus logika szimbólumokat használ. Igaz = i, felfelé mutató nyíl,1, T Hamis = h, lefelé mutató nyíl, 0 , F
  • 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.
  • Funktor zdaniotwórczy – wyrażenie, które wraz z innymi wyrażeniami, nazywanymi argumentami funktora, tworzy zdanie lub funkcję zdaniową.
  • 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.
  • En lógica, una conectiva lógica, o simplemente conectiva, es un símbolo que se utiliza para conectar dos fórmulas bien formadas (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.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.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.
dbpedia-owl:thumbnail
dbpedia-owl:wikiPageExternalLink
dbpedia-owl:wikiPageID
  • 839076 (xsd:integer)
dbpedia-owl:wikiPageLength
  • 20886 (xsd:integer)
dbpedia-owl:wikiPageOutDegree
  • 60 (xsd:integer)
dbpedia-owl:wikiPageRevisionID
  • 109677408 (xsd:integer)
dbpedia-owl:wikiPageWikiLink
prop-fr:wikiPageUsesTemplate
dcterms:subject
rdfs:comment
  • 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.
  • Eragile logikoa, elektronika arloan, eragiketa aritmetiko (batuketa, kenketa,…) edo logiko (and, or,…) egiteko gai den zirkuitu elektroniko da.
  • 論理演算(ろんりえんざん、logical operation, logical connection)あるいはブール演算(ブールえんざん、boolean operation)とは、「真」と「偽」の二つの元(真理値と呼ばれる)だけを持つ集合における演算である。(これらの演算によって上記の集合は環となり、ブール環と呼ばれる)否定(NOT)・論理和(OR)・論理積(AND)・排他的論理和(XOR)・含意・同値などがある。数理論理学やプログラミング言語などで使われる。プログラミング言語では通常の論理演算のほか、数値のビット毎に論理演算を行なう演算があり、これは特にビット演算という。
  • В логике логическими операциями называют действия, вследствие которых порождаются новые понятия, возможно с использованием уже существующих. В более узком, формализованном смысле, понятие логической операции используется в математической логике и программировании.
  • 논리 연산(logical operation, logical connective) 혹은 불 연산(boolean operation)은 참, 거짓 두가지 원소(진리값으로 불림)만 존재하는 집합(환으로 불림)에서의 연산이다.논리합(OR, ∨), 논리곱(AND, ∧), 부정(NOT, ~/¬), 배타적 논리합(XOR, ⊕), 명제, 동치 등이 있다.수학의 논리학이나 프로그래밍 언어에서 사용한다. 프로그래밍 언어에서는 비트 연산이라고도 한다.
  • Funktor zdaniotwórczy – wyrażenie, które wraz z innymi wyrażeniami, nazywanymi argumentami funktora, tworzy zdanie lub funkcję zdaniową.
  • 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.
  • En lógica, una conectiva lógica, o simplemente conectiva, es un símbolo que se utiliza para conectar dos fórmulas bien formadas (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.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.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.
  • 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.
  • Dalam logika, dua kalimat dapat digabungkan dengan operator logika untuk membentuk kalimat gabungan. Nilai kebenaran kalimat gabungan ini ditentukan oleh nilai kebenaran kalimat-kalimat pembentuknya. Operator logika di sini bertindak sebagai fungsi.Dalam bahasa sehari-hari, dua kalimat dapat digabungkan dengan konjungsi gramatik.
  • 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.
  • Logikai műveletek alatt az ítéletkalkulus ítéletein definiált műveleteket értünk, amelyek segítségével az ítéletekből újabb, összetett ítéleteket alkothatunk. Az így képezett összetett ítéletek igazságértéke pedig egyértelműen meghatározható a kiindulási ítéletek igazságértékeiből.A logikai művelet, mint általános fogalom, számtalan különféle néven fordul elő a szakirodalomban. A szerzők beszélnek pl.
  • Ein Junktor (von lat. iungere „verknüpfen, verbinden“) ist eine logische Verknüpfung zwischen Aussagen innerhalb der Aussagenlogik, also ein logischer Operator.
rdfs:label
  • Connecteur logique
  • Booleaanse operator
  • Conectiva lógica
  • Conectivo lógico
  • Connectiva lògica
  • Connettivo logico
  • Eragile logiko
  • Funktor zdaniotwórczy
  • Junktor
  • Logical connective
  • Logikai művelet
  • Operator logika
  • Логическая операция
  • 論理演算
  • 논리 연산
owl:sameAs
http://www.w3.org/ns/prov#wasDerivedFrom
foaf:depiction
foaf:isPrimaryTopicOf
is dbpedia-owl:wikiPageDisambiguates of
is dbpedia-owl:wikiPageRedirects of
is dbpedia-owl:wikiPageWikiLink of
is foaf:primaryTopic of