| http://dbpedia.org/ontology/abstract
|
В логике логи́ческими опера́циями называют действия, вследствие которых порождаются новые понятия, с использованием уже существующих. В более узком смысле, понятие логической операции используется в математической логике и программировании.
, En logisk operator är ett konnektiv inom s … 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.nieras med hjälp av sanningsvärdetabeller.
, En lógica, una conectiva lógica, o también … 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.ujo de control de un algoritmo o programa.
, الرابطة المنطقية في علم المنطق هي مجموعة من كلمات أو رموز تسهم في الربط بين جملتين أو أكثر بأسلوب صحيح لغوياً ومنطقياً.يستخدم الربط المنطقي في أسلوب الكتابة العادية وفي البرمجة.
, Λογικές συναρτήσεις ονομάζουμε εκείνες για … Λογικές συναρτήσεις ονομάζουμε εκείνες για τις οποίες μπορούμε να αποφασίσουμε αν είναι αληθείς ή όχι. Χειριζόμαστε τις λογικές προτάσεις στην συγγραφή λογισμικού και στην προτασιακή λογική.Οι μεταβλητές που εκπροσωπούν λογικές προτάσεις ονομάζονται λογικές μεταβλητές. Οι συναρτήσεις που περιέχουν λογικές μεταβλητές λέγονται λογικές συναρτήσεις ή συναρτήσεις αληθείας.ογικές συναρτήσεις ή συναρτήσεις αληθείας.
, 論理演算（ろんりえんざん、logical operation）は、論理式において、論 … 論理演算（ろんりえんざん、logical operation）は、論理式において、論理演算子などで表現される論理関数（ブール関数）を評価し（正確には、関数適用を評価し）、変数（変項）さらには論理式全体の値を求める演算である。 非古典論理など他にも多くの論理の体系があるが、ここでは古典論理のうちの命題論理、特にそれを形式化したブール論理に話を絞る。従って対象がとる値は真理値の2値のみに限られる。また、その真理値の集合（真理値集合）と演算（演算子）はブール代数を構成する。 コンピュータのプロセッサやプログラミング言語で多用されるものに、ブーリアン型を対象とした通常の論理演算の他に、ワード等のビット毎に論理演算を行なう演算があり、ビット演算という。 なお、以上はモデル論的な議論であり、証明論的には、公理と推論規則に従って論理式を変形（書き換え）する演算がある（証明論#証明計算の種類）。と推論規則に従って論理式を変形（書き換え）する演算がある（証明論#証明計算の種類）。
, Eine Logische Verknüpfung ist eine Operati … 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.wischen Eingangssignal und Ausgangssignal.
, 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.
, Dalam logika, operator logika atau perangk … 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 "jika", namun tidak identik.
* l
*
* s
, Em lógica, um conectivo lógico (também cha … 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 .ico é similar, mas não equivalente, a um .
, Логі́чний сполу́чник (або логічний операто … Логі́чний сполу́чник (або логічний оператор) — логічний термін, функція якого полягає в утворенні складних висловлювань. Спеціальні назви і символи для позначення логічних сполучників:
* — заперечення («не»);
* — кон'юнкція («і»);
* — диз'юнкція («або»);
* — імплікація («якщо, то»);
* — еквіваленція («якщо і тільки якщо, то»).— еквіваленція («якщо і тільки якщо, то»).
, Funktor zdaniotwórczy – wyrażenie, które wraz z innymi wyrażeniami, nazywanymi argumentami funktora, tworzy zdanie lub funkcję zdaniową.
, 在形式逻辑中，逻辑运算符或逻辑联结词把语句连接成更复杂的复杂语句。例如，假设有两个逻辑命题，分别是“正在下雨”和“我在屋里”，我们可以将它们组成复杂命题“正在下雨，并且我在屋里”或“没有正在下雨”或“如果正在下雨，那么我在屋里”。一个将两个语句组成的新的语句或命题叫做复合语句或复合命题。又称逻辑操作符（Logical Operators）。
, In logic, a logical connective (also calle … 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.g languages called a conditional operator.
, 논리 연산(logical operation, logical connectiv … 논리 연산(logical operation, logical connective) 혹은 불 연산(boolean operation)은 참, 거짓 두 가지 원소(진리값으로 불림)만 존재하는 집합(환으로 불림)에서의 연산이다. 논리합(OR, ∨), 논리곱(AND, ∧), 부정(NOT, ~/¬), 배타적 논리합(XOR, ⊕), 명제, 동치 등이 있다. 수학이나 논리학 또는 컴퓨터 과학의 프로그래밍 언어 등에서 사용한다. 프로그래밍 언어에서는 비트 연산이라고도 한다.그래밍 언어 등에서 사용한다. 프로그래밍 언어에서는 비트 연산이라고도 한다.
, Un connettivo logico o operatore logico (n … 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.ed al carattere del connettivo utilizzato.
, 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.
, En lògica, les connectives lògiques són le … 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...llavorsnten: , no, i, o (inclusiva), si...llavors
|
| http://dbpedia.org/ontology/thumbnail
|
http://commons.wikimedia.org/wiki/Special:FilePath/Logical_connectives_Hasse_diagram.svg?width=300 +
|
| http://dbpedia.org/ontology/wikiPageExternalLink
|
https://plato.stanford.edu/entries/connectives-logic/ +
, https://plato.stanford.edu/entries/logical-constants/ +
|
| http://dbpedia.org/ontology/wikiPageID
|
18153
|
| http://dbpedia.org/ontology/wikiPageInterLanguageLink
|
http://da.dbpedia.org/resource/Logisk_konnektiv +
|
| http://dbpedia.org/ontology/wikiPageLength
|
26740
|
| http://dbpedia.org/ontology/wikiPageRevisionID
|
1121694004
|
| http://dbpedia.org/ontology/wikiPageWikiLink
|
http://dbpedia.org/resource/Gerhard_Gentzen +
, http://dbpedia.org/resource/Formal_semantics_%28natural_language%29 +
, http://dbpedia.org/resource/Grammatical_particle +
, http://dbpedia.org/resource/Grammatical_conjunction +
, http://dbpedia.org/resource/Truth_function +
, http://dbpedia.org/resource/XNOR_gate +
, http://dbpedia.org/resource/Boolean-valued_function +
, http://dbpedia.org/resource/Giuseppe_Peano +
, http://dbpedia.org/resource/Alfred_Tarski +
, http://dbpedia.org/resource/Semantics_of_logic +
, http://dbpedia.org/resource/Gottlob_Frege +
, http://dbpedia.org/resource/Arend_Heyting +
, http://dbpedia.org/resource/Logical_constant +
, http://dbpedia.org/resource/Commutativity +
, http://dbpedia.org/resource/Category:Logical_connectives +
, http://dbpedia.org/resource/Boolean_domain +
, http://dbpedia.org/resource/Elementary_algebra +
, http://dbpedia.org/resource/Boolean_function +
, http://dbpedia.org/resource/George_Boole +
, http://dbpedia.org/resource/Idempotence +
, http://dbpedia.org/resource/Involution_%28mathematics%29 +
, http://dbpedia.org/resource/File:Venn01.svg +
, http://dbpedia.org/resource/File:Venn0001.svg +
, http://dbpedia.org/resource/File:Venn0111.svg +
, http://dbpedia.org/resource/Logical_conjunction +
, http://dbpedia.org/resource/AND_gate +
, http://dbpedia.org/resource/Charles_Sanders_Peirce +
, http://dbpedia.org/resource/Syntactic_sugar +
, http://dbpedia.org/resource/Converse_implication +
, http://dbpedia.org/resource/Material_nonimplication +
, http://dbpedia.org/resource/Boolean_logic +
, http://dbpedia.org/resource/Truth_table +
, http://dbpedia.org/resource/Intuitionistic_logic +
, http://dbpedia.org/resource/Arity +
, http://dbpedia.org/resource/Constructive_mathematics +
, http://dbpedia.org/resource/Triviality_%28mathematics%29 +
, http://dbpedia.org/resource/Boolean_algebra +
, http://dbpedia.org/resource/Formal_language +
, http://dbpedia.org/resource/Associativity +
, http://dbpedia.org/resource/Suffix +
, http://dbpedia.org/resource/Side_effect_%28computer_science%29 +
, http://dbpedia.org/resource/Begriffsschrift +
, http://dbpedia.org/resource/New_York_City +
, http://dbpedia.org/resource/Antecedent_%28logic%29 +
, http://dbpedia.org/resource/Computer_programming +
, http://dbpedia.org/resource/Mathematical_logic +
, http://dbpedia.org/resource/File:Venn1110.svg +
, http://dbpedia.org/resource/File:Venn0011.svg +
, http://dbpedia.org/resource/File:Venn1011.svg +
, http://dbpedia.org/resource/Disjunction +
, http://dbpedia.org/resource/Absorption_Law +
, http://dbpedia.org/resource/NIMPLY_gate +
, http://dbpedia.org/resource/File:Logical_connectives_Hasse_diagram.svg +
, http://dbpedia.org/resource/Boolean_ring +
, http://dbpedia.org/resource/Four-valued_logic +
, http://dbpedia.org/resource/Dynamic_semantics +
, http://dbpedia.org/resource/Inverter_%28logic_gate%29 +
, http://dbpedia.org/resource/Scalar_implicature +
, http://dbpedia.org/resource/File:Blank_Square.svg +
, http://dbpedia.org/resource/Contradiction +
, http://dbpedia.org/resource/Syntax_%28logic%29 +
, http://dbpedia.org/resource/File:Red_Square.svg +
, http://dbpedia.org/resource/Bit_array +
, http://dbpedia.org/resource/File:Venn0110.svg +
, http://dbpedia.org/resource/Category:Logic_symbols +
, http://dbpedia.org/resource/English_language +
, http://dbpedia.org/resource/Sheffer_stroke +
, http://dbpedia.org/resource/Functional_completeness +
, http://dbpedia.org/resource/File:Venn1000.svg +
, http://dbpedia.org/resource/File:Venn1001.svg +
, http://dbpedia.org/resource/Conditional_%28programming%29 +
, http://dbpedia.org/resource/Propositional_logic +
, http://dbpedia.org/resource/Complementizer +
, http://dbpedia.org/resource/Xnor +
, http://dbpedia.org/resource/Binary_numeral_system +
, http://dbpedia.org/resource/Logical_biconditional +
, http://dbpedia.org/resource/Paradoxes_of_material_implication +
, http://dbpedia.org/resource/Counterfactual_conditionals +
, http://dbpedia.org/resource/Logical_nand +
, http://dbpedia.org/resource/File:Venn1101.svg +
, http://dbpedia.org/resource/Precedence_rule +
, http://dbpedia.org/resource/File:Venn0101.svg +
, http://dbpedia.org/resource/Abstract_algebraic_logic +
, http://dbpedia.org/resource/Monotonicity +
, http://dbpedia.org/resource/Modal_operator +
, http://dbpedia.org/resource/Free_choice_inference +
, http://dbpedia.org/resource/NOR_gate +
, http://dbpedia.org/resource/Two-element_Boolean_algebra +
, http://dbpedia.org/resource/Binary_relation +
, http://dbpedia.org/resource/Many-valued_logic +
, http://dbpedia.org/resource/Exclusive_disjunction +
, http://dbpedia.org/resource/False_%28logic%29 +
, http://dbpedia.org/resource/OR_gate +
, http://dbpedia.org/resource/Strict_conditional +
, http://dbpedia.org/resource/Semantics_%28natural_language%29 +
, http://dbpedia.org/resource/Hurford_disjunction +
, http://dbpedia.org/resource/Alternative_question +
, http://dbpedia.org/resource/List_of_Boolean_algebra_topics +
, http://dbpedia.org/resource/Logical_NOR +
, http://dbpedia.org/resource/IMPLY_gate +
, http://dbpedia.org/resource/Conditional_operator +
, http://dbpedia.org/resource/J%C3%B3zef_Maria_Boche%C5%84ski +
, http://dbpedia.org/resource/Logical_nor +
, http://dbpedia.org/resource/Donkey_anaphora +
, http://dbpedia.org/resource/NAND_gate +
, http://dbpedia.org/resource/Variably_strict_conditional +
, http://dbpedia.org/resource/File:Venn10.svg +
, http://dbpedia.org/resource/Material_conditional +
, http://dbpedia.org/resource/DRAM +
, http://dbpedia.org/resource/Logical_disjunction +
, http://dbpedia.org/resource/Logic_gate +
, http://dbpedia.org/resource/Truth +
, http://dbpedia.org/resource/Classical_logic +
, http://dbpedia.org/resource/Affine_transformation +
, http://dbpedia.org/resource/Tautology_%28logic%29 +
, http://dbpedia.org/resource/Polish_notation +
, http://dbpedia.org/resource/Nonclassical_logic +
, http://dbpedia.org/resource/Propositional_calculus +
, http://dbpedia.org/resource/Distributivity +
, http://dbpedia.org/resource/Bitwise_operation +
, http://dbpedia.org/resource/Union_%28set_theory%29 +
, http://dbpedia.org/resource/If_and_only_if +
, http://dbpedia.org/resource/Lazy_evaluation +
, http://dbpedia.org/resource/Axiom +
, http://dbpedia.org/resource/Negation +
, http://dbpedia.org/resource/Duality_%28mathematics%29 +
, http://dbpedia.org/resource/Truth_value +
, http://dbpedia.org/resource/Intersection_%28set_theory%29 +
, http://dbpedia.org/resource/Moses_Sch%C3%B6nfinkel +
, http://dbpedia.org/resource/Digital_circuit +
, http://dbpedia.org/resource/Well-formed_formula +
, http://dbpedia.org/resource/David_Hilbert +
, http://dbpedia.org/resource/Prime_%28symbol%29 +
, http://dbpedia.org/resource/Atomic_formula +
, http://dbpedia.org/resource/Boolean_algebra_%28structure%29 +
, http://dbpedia.org/resource/Pragmatics +
, http://dbpedia.org/resource/Jan_%C5%81ukasiewicz +
, http://dbpedia.org/resource/Stanford_Encyclopedia_of_Philosophy +
, http://dbpedia.org/resource/Denotation +
, http://dbpedia.org/resource/Springer_Science%2BBusiness_Media +
, http://dbpedia.org/resource/Exclusive_or +
, http://dbpedia.org/resource/Verb +
, http://dbpedia.org/resource/Logical_equivalence +
, http://dbpedia.org/resource/Validity_%28logic%29 +
, http://dbpedia.org/resource/Bertrand_Russell +
|
| http://dbpedia.org/property/id
|
p/p075490
|
| http://dbpedia.org/property/title
|
Propositional connective
|
| http://dbpedia.org/property/wikiPageUsesTemplate
|
http://dbpedia.org/resource/Template:Portal +
, http://dbpedia.org/resource/Template:For +
, http://dbpedia.org/resource/Template:Authority_control +
, http://dbpedia.org/resource/Template:Math +
, http://dbpedia.org/resource/Template:Citation +
, http://dbpedia.org/resource/Template:Expand_section +
, http://dbpedia.org/resource/Template:Better_source_needed +
, http://dbpedia.org/resource/Template:Logical_connectives +
, http://dbpedia.org/resource/Template:Mathematical_logic +
, http://dbpedia.org/resource/Template:Short_description +
, http://dbpedia.org/resource/Template:Commons_category +
, http://dbpedia.org/resource/Template:Section_link +
, http://dbpedia.org/resource/Template:Cite_book +
, http://dbpedia.org/resource/Template:Mvar +
, http://dbpedia.org/resource/Template:Reflist +
, http://dbpedia.org/resource/Template:Not +
, http://dbpedia.org/resource/Template:Formal_semantics +
, http://dbpedia.org/resource/Template:Springer +
, http://dbpedia.org/resource/Template:Div_col +
, http://dbpedia.org/resource/Template:Div_col_end +
|
| http://purl.org/dc/terms/subject
|
http://dbpedia.org/resource/Category:Logic_symbols +
, http://dbpedia.org/resource/Category:Logical_connectives +
|
| http://purl.org/linguistics/gold/hypernym
|
http://dbpedia.org/resource/Symbol +
|
| http://www.w3.org/ns/prov#wasDerivedFrom
|
http://en.wikipedia.org/wiki/Logical_connective?oldid=1121694004&ns=0 +
|
| http://xmlns.com/foaf/0.1/depiction
|
http://commons.wikimedia.org/wiki/Special:FilePath/Blank_Square.svg +
, http://commons.wikimedia.org/wiki/Special:FilePath/Venn0111.svg +
, http://commons.wikimedia.org/wiki/Special:FilePath/Red_Square.svg +
, http://commons.wikimedia.org/wiki/Special:FilePath/Venn0001.svg +
, http://commons.wikimedia.org/wiki/Special:FilePath/Venn0011.svg +
, http://commons.wikimedia.org/wiki/Special:FilePath/Venn1000.svg +
, http://commons.wikimedia.org/wiki/Special:FilePath/Venn1001.svg +
, http://commons.wikimedia.org/wiki/Special:FilePath/Venn1011.svg +
, http://commons.wikimedia.org/wiki/Special:FilePath/Venn1101.svg +
, http://commons.wikimedia.org/wiki/Special:FilePath/Venn01.svg +
, http://commons.wikimedia.org/wiki/Special:FilePath/Venn0101.svg +
, http://commons.wikimedia.org/wiki/Special:FilePath/Venn0110.svg +
, http://commons.wikimedia.org/wiki/Special:FilePath/Venn10.svg +
, http://commons.wikimedia.org/wiki/Special:FilePath/Venn1110.svg +
, http://commons.wikimedia.org/wiki/Special:FilePath/Logical_connectives_Hasse_diagram.svg +
|
| http://xmlns.com/foaf/0.1/isPrimaryTopicOf
|
http://en.wikipedia.org/wiki/Logical_connective +
|
| owl:sameAs |
http://ko.dbpedia.org/resource/%EB%85%BC%EB%A6%AC_%EC%97%B0%EC%82%B0 +
, http://it.dbpedia.org/resource/Connettivo_logico +
, http://sv.dbpedia.org/resource/Logisk_operator +
, http://mk.dbpedia.org/resource/%D0%9B%D0%BE%D0%B3%D0%B8%D1%87%D0%BA%D0%B0_%D0%BE%D0%BF%D0%B5%D1%80%D0%B0%D1%86%D0%B8%D1%98%D0%B0 +
, http://sk.dbpedia.org/resource/V%C3%BDrokov%C3%A1_spojka +
, http://pl.dbpedia.org/resource/Funktor_zdaniotw%C3%B3rczy +
, http://ro.dbpedia.org/resource/Conector_logic +
, http://de.dbpedia.org/resource/Logische_Verkn%C3%BCpfung +
, http://tr.dbpedia.org/resource/Mant%C4%B1k_ba%C4%9Flac%C4%B1 +
, http://ru.dbpedia.org/resource/%D0%9B%D0%BE%D0%B3%D0%B8%D1%87%D0%B5%D1%81%D0%BA%D0%B0%D1%8F_%D0%BE%D0%BF%D0%B5%D1%80%D0%B0%D1%86%D0%B8%D1%8F +
, http://d-nb.info/gnd/4168049-2 +
, http://az.dbpedia.org/resource/M%C9%99ntiqi_%C9%99m%C9%99liyyat +
, http://zh.dbpedia.org/resource/%E9%80%BB%E8%BE%91%E8%BF%90%E7%AE%97%E7%AC%A6 +
, http://ca.dbpedia.org/resource/Connectiva_l%C3%B2gica +
, http://el.dbpedia.org/resource/%CE%9B%CE%BF%CE%B3%CE%B9%CE%BA%CE%AD%CF%82_%CF%83%CF%85%CE%BD%CE%B1%CF%81%CF%84%CE%AE%CF%83%CE%B5%CE%B9%CF%82 +
, http://he.dbpedia.org/resource/%D7%A7%D7%A9%D7%A8_%D7%9C%D7%95%D7%92%D7%99 +
, http://kk.dbpedia.org/resource/%D0%9F%D1%80%D0%BE%D0%BF%D0%BE%D0%B7%D0%B8%D1%86%D0%B8%D1%8F%D0%BB%D1%8B%D2%9B_%D3%A9%D0%B7%D0%B0%D1%80%D0%B0_%D2%9B%D0%B0%D1%82%D1%8B%D0%BD%D0%B0%D1%81 +
, http://fr.dbpedia.org/resource/Connecteur_logique +
, http://ur.dbpedia.org/resource/%D9%85%D9%86%D8%B7%D9%82%DB%8C_%D8%B9%D8%A7%D9%85%D9%84 +
, http://ja.dbpedia.org/resource/%E8%AB%96%E7%90%86%E6%BC%94%E7%AE%97 +
, http://tg.dbpedia.org/resource/%D0%90%D0%BC%D0%B0%D0%BB%D2%B3%D0%BE%D0%B8_%D0%BC%D0%B0%D0%BD%D1%82%D0%B8%D2%9B%D3%A3 +
, http://hu.dbpedia.org/resource/Logikai_m%C5%B1velet +
, http://bg.dbpedia.org/resource/%D0%9B%D0%BE%D0%B3%D0%B8%D1%87%D0%B5%D1%81%D0%BA%D0%B0_%D0%BE%D0%BF%D0%B5%D1%80%D0%B0%D1%86%D0%B8%D1%8F +
, http://ms.dbpedia.org/resource/Pengoperasi_logik +
, http://fa.dbpedia.org/resource/%D8%B1%D8%A7%D8%A8%D8%B7_%D9%85%D9%86%D8%B7%D9%82%DB%8C +
, http://nn.dbpedia.org/resource/Logisk_konstant +
, http://et.dbpedia.org/resource/Konnektor_%28keeleteadus%29 +
, http://eu.dbpedia.org/resource/Lokailu_logiko +
, http://ar.dbpedia.org/resource/%D8%B1%D8%A7%D8%A8%D8%B7%D8%A9_%D9%85%D9%86%D8%B7%D9%82%D9%8A%D8%A9 +
, http://yago-knowledge.org/resource/Logical_connective +
, http://es.dbpedia.org/resource/Conectiva_l%C3%B3gica +
, https://global.dbpedia.org/id/21aBD +
, http://da.dbpedia.org/resource/Logisk_operator +
, http://hy.dbpedia.org/resource/%D5%8F%D6%80%D5%A1%D5%B4%D5%A1%D5%A2%D5%A1%D5%B6%D5%A1%D5%AF%D5%A1%D5%B6_%D5%A3%D5%B8%D6%80%D5%AE%D5%B8%D5%B2%D5%B8%D6%82%D5%A9%D5%B5%D5%B8%D6%82%D5%B6 +
, http://www.wikidata.org/entity/Q211790 +
, http://is.dbpedia.org/resource/R%C3%B6ka%C3%B0ger%C3%B0 +
, http://dbpedia.org/resource/Logical_connective +
, http://uk.dbpedia.org/resource/%D0%9B%D0%BE%D0%B3%D1%96%D1%87%D0%BD%D0%B8%D0%B9_%D1%81%D0%BF%D0%BE%D0%BB%D1%83%D1%87%D0%BD%D0%B8%D0%BA +
, http://rdf.freebase.com/ns/m.04m39 +
, http://id.dbpedia.org/resource/Operator_logika +
, http://th.dbpedia.org/resource/%E0%B8%95%E0%B8%B1%E0%B8%A7%E0%B8%94%E0%B8%B3%E0%B9%80%E0%B8%99%E0%B8%B4%E0%B8%99%E0%B8%81%E0%B8%B2%E0%B8%A3%E0%B8%95%E0%B8%A3%E0%B8%A3%E0%B8%81%E0%B8%B0 +
, http://pt.dbpedia.org/resource/Conectivo_l%C3%B3gico +
, http://ta.dbpedia.org/resource/%E0%AE%8F%E0%AE%B0%E0%AE%A3_%E0%AE%87%E0%AE%A3%E0%AF%88%E0%AE%AA%E0%AF%8D%E0%AE%AA%E0%AE%BF +
|
| rdf:type |
http://dbpedia.org/class/yago/WikicatLogicSymbols +
, http://dbpedia.org/class/yago/FunctionWord106291318 +
, http://dbpedia.org/class/yago/Relation100031921 +
, http://dbpedia.org/class/yago/Word106286395 +
, http://dbpedia.org/class/yago/PsychologicalFeature100023100 +
, http://dbpedia.org/class/yago/Communication100033020 +
, http://dbpedia.org/class/yago/LanguageUnit106284225 +
, http://dbpedia.org/class/yago/Abstraction100002137 +
, http://dbpedia.org/class/yago/Part113809207 +
, http://dbpedia.org/class/yago/WikicatProgrammingLanguageConcepts +
, http://dbpedia.org/class/yago/Idea105833840 +
, http://dbpedia.org/class/yago/Content105809192 +
, http://dbpedia.org/class/yago/Concept105835747 +
, http://dbpedia.org/class/yago/WikicatLogicalConnectives +
, http://dbpedia.org/class/yago/Conjunction106325826 +
, http://dbpedia.org/class/yago/Cognition100023271 +
, http://dbpedia.org/class/yago/Symbol106806469 +
, http://dbpedia.org/ontology/Place +
, http://dbpedia.org/class/yago/Signal106791372 +
|
| rdfs:comment |
論理演算（ろんりえんざん、logical operation）は、論理式において、論 … 論理演算（ろんりえんざん、logical operation）は、論理式において、論理演算子などで表現される論理関数（ブール関数）を評価し（正確には、関数適用を評価し）、変数（変項）さらには論理式全体の値を求める演算である。 非古典論理など他にも多くの論理の体系があるが、ここでは古典論理のうちの命題論理、特にそれを形式化したブール論理に話を絞る。従って対象がとる値は真理値の2値のみに限られる。また、その真理値の集合（真理値集合）と演算（演算子）はブール代数を構成する。 コンピュータのプロセッサやプログラミング言語で多用されるものに、ブーリアン型を対象とした通常の論理演算の他に、ワード等のビット毎に論理演算を行なう演算があり、ビット演算という。 なお、以上はモデル論的な議論であり、証明論的には、公理と推論規則に従って論理式を変形（書き換え）する演算がある（証明論#証明計算の種類）。と推論規則に従って論理式を変形（書き換え）する演算がある（証明論#証明計算の種類）。
, 在形式逻辑中，逻辑运算符或逻辑联结词把语句连接成更复杂的复杂语句。例如，假设有两个逻辑命题，分别是“正在下雨”和“我在屋里”，我们可以将它们组成复杂命题“正在下雨，并且我在屋里”或“没有正在下雨”或“如果正在下雨，那么我在屋里”。一个将两个语句组成的新的语句或命题叫做复合语句或复合命题。又称逻辑操作符（Logical Operators）。
, 논리 연산(logical operation, logical connectiv … 논리 연산(logical operation, logical connective) 혹은 불 연산(boolean operation)은 참, 거짓 두 가지 원소(진리값으로 불림)만 존재하는 집합(환으로 불림)에서의 연산이다. 논리합(OR, ∨), 논리곱(AND, ∧), 부정(NOT, ~/¬), 배타적 논리합(XOR, ⊕), 명제, 동치 등이 있다. 수학이나 논리학 또는 컴퓨터 과학의 프로그래밍 언어 등에서 사용한다. 프로그래밍 언어에서는 비트 연산이라고도 한다.그래밍 언어 등에서 사용한다. 프로그래밍 언어에서는 비트 연산이라고도 한다.
, 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.
, Dalam logika, operator logika atau perangk … 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 "jika", namun tidak identik.
* l
*
* s
, En lógica, una conectiva lógica, o también … 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. a la negación como un conectivo monádico.
, Em lógica, um conectivo lógico (também cha … 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.nsiderar negação como um conectivo unário.
, В логике логи́ческими опера́циями называют действия, вследствие которых порождаются новые понятия, с использованием уже существующих. В более узком смысле, понятие логической операции используется в математической логике и программировании.
, Λογικές συναρτήσεις ονομάζουμε εκείνες για … Λογικές συναρτήσεις ονομάζουμε εκείνες για τις οποίες μπορούμε να αποφασίσουμε αν είναι αληθείς ή όχι. Χειριζόμαστε τις λογικές προτάσεις στην συγγραφή λογισμικού και στην προτασιακή λογική.Οι μεταβλητές που εκπροσωπούν λογικές προτάσεις ονομάζονται λογικές μεταβλητές. Οι συναρτήσεις που περιέχουν λογικές μεταβλητές λέγονται λογικές συναρτήσεις ή συναρτήσεις αληθείας.ογικές συναρτήσεις ή συναρτήσεις αληθείας.
, In logic, a logical connective (also calle … 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.g languages called a conditional operator.
, 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.
, En logisk operator är ett konnektiv inom s … 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.nieras med hjälp av sanningsvärdetabeller.
, Eine Logische Verknüpfung ist eine Operati … 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.wischen Eingangssignal und Ausgangssignal.
, Funktor zdaniotwórczy – wyrażenie, które wraz z innymi wyrażeniami, nazywanymi argumentami funktora, tworzy zdanie lub funkcję zdaniową.
, En lògica, les connectives lògiques són le … 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...llavorsnten: , no, i, o (inclusiva), si...llavors
, Un connettivo logico o operatore logico (n … 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.ed al carattere del connettivo utilizzato.
, الرابطة المنطقية في علم المنطق هي مجموعة من كلمات أو رموز تسهم في الربط بين جملتين أو أكثر بأسلوب صحيح لغوياً ومنطقياً.يستخدم الربط المنطقي في أسلوب الكتابة العادية وفي البرمجة.
, Логі́чний сполу́чник (або логічний операто … Логі́чний сполу́чник (або логічний оператор) — логічний термін, функція якого полягає в утворенні складних висловлювань. Спеціальні назви і символи для позначення логічних сполучників:
* — заперечення («не»);
* — кон'юнкція («і»);
* — диз'юнкція («або»);
* — імплікація («якщо, то»);
* — еквіваленція («якщо і тільки якщо, то»).— еквіваленція («якщо і тільки якщо, то»).
|
| rdfs:label |
논리 연산
, Connettivo logico
, رابطة منطقية
, 論理演算
, Λογικές συναρτήσεις
, Логічний сполучник
, Conectiva lógica
, Connecteur logique
, Lokailu logiko
, Logische Verknüpfung
, Operator logika
, Logical connective
, 逻辑运算符
, Connectiva lògica
, Logisk operator
, Логическая операция
, Conectivo lógico
, Funktor zdaniotwórczy
|
