| http://dbpedia.org/ontology/abstract
|
Koniunkcja – zdanie złożone mające postać … Koniunkcja – zdanie złożone mające postać p i q, gdzie p, q są zdaniami. W rachunku zdań koniunkcję zapisuje się symbolicznie jako: Przez koniunkcję rozumie się też zdanie mające postać i... i Koniunkcję można zdefiniować precyzyjniej jako dwuargumentowe działanie określone w zbiorze zdań lub funkcji zdaniowych, które zdaniom p, q przyporządkowuje zdanie p i q. Koniunkcja dwóch zdań p i q jest zdaniem prawdziwym wtedy i tylko wtedy, gdy oba zdania p, q są zdaniami prawdziwymi. Niekiedy słowo koniunkcja odnosi się również do spójnika.koniunkcja odnosi się również do spójnika.
, , bi proposizioen arteko konjuntzio logiko … , bi proposizioen arteko konjuntzio logikoa lokailu logiko bat da, zeinen egia balioa egiazkoa izango da bi proposizioak egiazkoak badira eta faltsua beste kasu guztietan. “A eta B” egiazkoa izango da, A egiazkoa bada eta B egiazkoa bada bakarrik.
* Hizkuntza naturalean, “eta” hitza erabiltzen da euskaraz konjuntzio logiko bat adierazteko.
* Multzo teorian kontzeptu baliokidea ebaketa edo ebakidura da.
* Aljebra Boolearrean, konjuntzioa bi aldagaien arteko eragile bitar gisa erdiko puntuaren (·) sinboloarekin adireazten da.
* Elektronikan, AND ate logikoa erabiltzen da konjuntzio logikoa ezartzeko.rabiltzen da konjuntzio logikoa ezartzeko.
, Inom logik och matematik är konjunktion et … Inom logik och matematik är konjunktion ett konnektiv, som betecknas med symbolen eller symbolen , och utläses som "och". En sats, vars delar är förbundna med detta konnektiv kallas, även denna, för en konjunktion. En sådan sats är sann, om och endast om alla dess operander är sanna. Med A och B symboliserande påståenden, utläses satsen A B som: A och B. Den skall således tolkas som sann, om och endast om båda satserna är sanna. Konnektivet , kan tillsammans med exempelvis konnektivet för negation uttrycka varje annat konnektiv inom satslogiken. Inom boolesk algebra skrivs konjunktion med multiplikationstecknet "·".onjunktion med multiplikationstecknet "·".
, En logique, la conjonction est une opérati … En logique, la conjonction est une opération mise en œuvre par le connecteur binaire et. Le connecteur et est donc un opérateur binaire qui lie deux propositions pour en faire une autre. Si on admet chacune des deux propositions, alors on admettra la proposition qui en est la conjonction. En logique mathématique, le connecteur de conjonction est noté soit &, soit ∧.e conjonction est noté soit &, soit ∧.
, 在逻辑和数学中，逻辑合取或逻辑与或且是一个二元逻辑運算符。如果其两个变量的真值都为“真”，其结果为“真”，否则其结果为“假”。
, En razonamiento formal, una conjunción lóg … En razonamiento formal, una conjunción lógica entre dos proposiciones es un conector lógico cuyo valor de la verdad resulta en cierto solo si ambas proposiciones son ciertas, y en falso de cualquier otra forma. Existen diferentes contextos donde se utiliza la conjunción lógica. En lenguajes formales, el conectivo "y" se utiliza en español para simbolizar una conjunción lógica. La noción equivalente en la teoría de conjuntos es la intersección. En álgebra booleana, la conjunción como operador binario entre dos variables se representa con el símbolo de punto medio ( · ). En electrónica, una puerta AND es una puerta lógica que implementa la conjunción lógica.ógica que implementa la conjunción lógica.
, In de wiskunde en de logica is logische conjunctie (symbool: , &, &&, EN of AND) een logische operator die twee proposities met elkaar verbindt, zodanig dat de conjunctie van beide waar is als beide operanden waar zijn.
, Dalam logika dan bidang teknik yang memaka … Dalam logika dan bidang teknik yang memakainya, konjungsi, atau dan, adalah operator logika dalam kalkulus proposisional.Hasil dari dua proposisi juga disebut konjungsi mereka.Hasil konjungsi adalah benar jika kedua proposisinya benar; jika tidak, hasilnya adalah salah. benar; jika tidak, hasilnya adalah salah.
, Конъю́нкция (от лат. conjunctio — «союз, с … Конъю́нкция (от лат. conjunctio — «союз, связь») — логическая операция, по смыслу максимально приближенная к союзу «и». Синонимы: логи́ческое «И», логи́ческое умноже́ние, иногда просто «И». Конъюнкция может быть бинарной операцией (т. e. иметь два операнда), тернарной операцией (т. e. иметь три операнда), или n-арной операцией (т. e. иметь n операндов).арной операцией (т. e. иметь n операндов).
, A conjunção é uma operação na lógica matem … A conjunção é uma operação na lógica matemática, que pode ser ligada à operação de interseção de conjuntos. A conjunção é representada pelo conectivo lógico ∧, e em programação por AND ou && que = a letra EEx:João ∧ Maria vão ao shoppingA conjunção lógica pode ainda ser representada pelo símbolo do produto. ser representada pelo símbolo do produto.
, 논리곱(conjunction, AND)이란 수리 논리학에서, 주어진 복수 명제 모두가 참인지를 나타내는 논리 연산이다. 두 명제 P, Q에 대한 논리곱을 (P ∧ Q)라고 기록하고,「P 그리고 Q」라고 읽는다.
, En matemàtiques, una conjunció lògica és un operador lògic que resulta veritable si els dos operadors són veritables.
, Als Konjunktion (lateinisch coniungere ‚ve … Als Konjunktion (lateinisch coniungere ‚verbinden‘; allgemeinsprachlich: Und-Verknüpfung) wird in der Logik eine bestimmte Verknüpfung zweier Aussagen oder Aussagefunktionen bezeichnet. Gelesen wird die Konjunktion zweier Aussagen A sowie B meist als „A und B“. In der klassischen Logik ist die Verknüpfung zweier Aussagen "A und B" genau dann wahr, wenn beide Aussagenbestandteile, "A" und "B", jeweils wahr sind. Gemeint sein kann mit dem Wort Konjunktion
* die verknüpfte Aussage als Ganzes (der Satz „A und B“)
* das Verknüpfungszeichen (Junktor)
* das Verknüpfungswort „und“
* im Fall einer wahrheitsfunktionalen Konjunktion die Wahrheitsfunktion „et“, mit der sich der Wahrheitswert der verknüpften Aussage „A und B“ aus den Wahrheitswerten ihrer Teilsätze (A, B) bestimmen lässtten ihrer Teilsätze (A, B) bestimmen lässt
, Кон'юнкція (лат. conjangere — об'єднувати) (операція AND) — двомісна логічна операція, що має значення «істина», якщо всі операнди мають значення «істина». Операція передбачає вживання сполучника «і» в логічних висловлюваннях.
, 数理論理学において論理積（ろんりせき、英: logical conjunction）とは、与えられた複数の命題のいずれもが例外なく真であることを示す論理演算である。合接（ごうせつ）、連言（れんげん、れんごん）とも呼び、ANDとよく表す。 二つの命題 P, Q に対する論理積を P ∧ Q と書き、「P かつ Q」や「P そして Q」などと読む。
, In logic, mathematics and linguistics, And … In logic, mathematics and linguistics, And is the truth-functional operator of logical conjunction; the and of a set of operands is true if and only if all of its operands are true. The logical connective that represents this operator is typically written as or ⋅ . is true if and only if is true and is true, otherwise it is false. An operand of a conjunction is a conjunct. Beyond logic, the term "conjunction" also refers to similar concepts in other fields:
* In natural language, the denotation of expressions such as English "and".
* In programming languages, the short-circuit and control structure.
* In set theory, intersection.
* In lattice theory, logical conjunction (greatest lower bound).
* In predicate logic, universal quantification.predicate logic, universal quantification.
, In logica, una congiunzione logica è un co … In logica, una congiunzione logica è un connettivo logico attraverso il quale, a partire da due proposizioni, si forma una nuova proposizione chiamata appunto congiunzione. Date due proposizioni e la congiunzione di e , indicata con , è vera soltanto nel caso in cui e siano entrambe vere, mentre è falsa in tutti gli altri casi possibili. Quando si hanno due enunciati aperti e , l' di corrisponde all'intersezione tra i due insiemi di verità. In effetti, la congiunzione gode delle stesse proprietà dell'intersezione. La congiunzione in algebra booleana è indicata con l'operatore AND. Tabella di verità:ta con l'operatore AND. Tabella di verità:
, Logická konjunkce (používají se pro ni symboly AND, & nebo ) je binární logická operace, jejíž hodnota je pravda, právě když obě vstupní hodnoty jsou pravda.
, En la logiko, la konjunkcio aŭ logika kajo … En la logiko, la konjunkcio aŭ logika kajo (esprimita per kaj) estas (operacio), kiu nur rezultigas veran frazon, se ambaŭ frazeroj estas veraj. La operacio estadas skribita per signo & (kodo deksesuma 26 en unikodo, & en HTML) aŭ per signo ∧ (kodo deksesuma 2227 en unikodo, ∧ en HTML). Ĝia vertabelo do estas (uzataj valoroj estas mallongigoj de Vera kaj Falsa): La alia maniero de skribo de la sama vertabelo estas per uzo de nombro 1 por Vera kaj 0 por Falsa: Laŭbita logika kajo same operacias por ĉiu bito de du nombroj kaj produktas la rezultan nombron. Ekzemple (la nombroj estas deksesumaj) 0x567F & 0x8CA1 = 0x0421. Konjunkcio estas asocieca kaj komuta. En elektrotekniko logika kajo estas farata per seria konekto de ŝaltiloj. En elektroniko por logika kajo estadas specialaj , ili povas havi pli ol du enenirojn.alaj , ili povas havi pli ol du enenirojn.
|
| http://dbpedia.org/ontology/thumbnail
|
http://commons.wikimedia.org/wiki/Special:FilePath/Venn0001.svg?width=300 +
|
| http://dbpedia.org/ontology/wikiPageExternalLink
|
https://web.archive.org/web/20170506173821/http:/www.math.hawaii.edu/~ramsey/Logic/And.html%7Carchive-date= +
, http://mathworld.wolfram.com/Conjunction.html +
, http://www.math.hawaii.edu/~ramsey/Logic/And.html%7Ctitle= +
|
| http://dbpedia.org/ontology/wikiPageID
|
18152
|
| http://dbpedia.org/ontology/wikiPageLength
|
17012
|
| http://dbpedia.org/ontology/wikiPageRevisionID
|
1120090987
|
| http://dbpedia.org/ontology/wikiPageWikiLink
|
http://dbpedia.org/resource/Peano%E2%80%93Russell_notation +
, http://dbpedia.org/resource/Arity +
, http://dbpedia.org/resource/And-inverter_graph +
, http://dbpedia.org/resource/Greatest_lower_bound +
, http://dbpedia.org/resource/Logical_graph +
, http://dbpedia.org/resource/Commuting_probability +
, http://dbpedia.org/resource/Idempotence +
, http://dbpedia.org/resource/File:Venn01.svg +
, http://dbpedia.org/resource/File:Venn_0011_1100.svg +
, http://dbpedia.org/resource/File:Venn0001.svg +
, http://dbpedia.org/resource/File:Venn0111.svg +
, http://dbpedia.org/resource/File:Venn_0000_1111.svg +
, http://dbpedia.org/resource/File:Venn_0101_0101.svg +
, http://dbpedia.org/resource/File:Venn_1011_1011.svg +
, http://dbpedia.org/resource/AND_gate +
, http://dbpedia.org/resource/File:Venn_0001_0001.svg +
, http://dbpedia.org/resource/File:Venn_0001_0101.svg +
, http://dbpedia.org/resource/Logical_operation +
, http://dbpedia.org/resource/File:Venn_1111_1011.svg +
, http://dbpedia.org/resource/Category:Semantics +
, http://dbpedia.org/resource/Linear +
, http://dbpedia.org/resource/Idempotency +
, http://dbpedia.org/resource/Boolean_algebra_topics +
, http://dbpedia.org/resource/Bitwise_AND +
, http://dbpedia.org/resource/Logical_operator +
, http://dbpedia.org/resource/Hadamard_transform +
, http://dbpedia.org/resource/Logical_value +
, http://dbpedia.org/resource/File:AND_Gate_diagram.svg +
, http://dbpedia.org/resource/Vacuous_truth +
, http://dbpedia.org/resource/Fr%C3%A9chet_inequalities +
, http://dbpedia.org/resource/Conjunction_elimination +
, http://dbpedia.org/resource/Bitstring +
, http://dbpedia.org/resource/Bent_function +
, http://dbpedia.org/resource/IP_address +
, http://dbpedia.org/resource/File:Multigrade_operator_AND.svg +
, http://dbpedia.org/resource/Material_nonimplication +
, http://dbpedia.org/resource/File:Venn_0001_0000.svg +
, http://dbpedia.org/resource/File:Venn_0001_0100.svg +
, http://dbpedia.org/resource/Control_structure +
, http://dbpedia.org/resource/File:Venn_0000_0101.svg +
, http://dbpedia.org/resource/File:Venn_0000_0001.svg +
, http://dbpedia.org/resource/File:Venn_0000_0011.svg +
, http://dbpedia.org/resource/File:Venn_0011_0000.svg +
, http://dbpedia.org/resource/File:Venn_0011_1111.svg +
, http://dbpedia.org/resource/Curry%E2%80%93Howard_correspondence +
, http://dbpedia.org/resource/Truth_table +
, http://dbpedia.org/resource/Words +
, http://dbpedia.org/resource/Conjunction_introduction +
, http://dbpedia.org/resource/Validity_%28logic%29 +
, http://dbpedia.org/resource/English_language +
, http://dbpedia.org/resource/Boolean_algebra_%28logic%29 +
, http://dbpedia.org/resource/Subnetwork +
, http://dbpedia.org/resource/Jan_%C5%81ukasiewicz +
, http://dbpedia.org/resource/De_Morgan%27s_laws +
, http://dbpedia.org/resource/Predicate_logic +
, http://dbpedia.org/resource/Mathematics +
, http://dbpedia.org/resource/Truth_function +
, http://dbpedia.org/resource/Natural_language +
, http://dbpedia.org/resource/Computer_networking +
, http://dbpedia.org/resource/Logical_disjunction +
, http://dbpedia.org/resource/Multiplication +
, http://dbpedia.org/resource/Programming_language +
, http://dbpedia.org/resource/Identity_element +
, http://dbpedia.org/resource/SQL +
, http://dbpedia.org/resource/Logical_negation +
, http://dbpedia.org/resource/Database +
, http://dbpedia.org/resource/Lattice_%28order%29 +
, http://dbpedia.org/resource/Linguistics +
, http://dbpedia.org/resource/Propositional_calculus +
, http://dbpedia.org/resource/Distributivity +
, http://dbpedia.org/resource/Product_type +
, http://dbpedia.org/resource/Set_theory +
, http://dbpedia.org/resource/If_and_only_if +
, http://dbpedia.org/resource/Intersection_%28set_theory%29 +
, http://dbpedia.org/resource/Denotation +
, http://dbpedia.org/resource/First-order_logic +
, http://dbpedia.org/resource/Associativity +
, http://dbpedia.org/resource/Exclusive_or +
, http://dbpedia.org/resource/Digital_electronics +
, http://dbpedia.org/resource/Grammatical_conjunction +
, http://dbpedia.org/resource/Operation_%28mathematics%29 +
, http://dbpedia.org/resource/Monotonic_function +
, http://dbpedia.org/resource/Boolean-valued_function +
, http://dbpedia.org/resource/Binary_numeral_system +
, http://dbpedia.org/resource/Mask_%28computing%29 +
, http://dbpedia.org/resource/Argument_form +
, http://dbpedia.org/resource/Commutativity +
, http://dbpedia.org/resource/Logical_connective +
, http://dbpedia.org/resource/Short-circuit_evaluation +
, http://dbpedia.org/resource/Proposition +
, http://dbpedia.org/resource/Polish_notation +
, http://dbpedia.org/resource/Logic +
, http://dbpedia.org/resource/Category:Logical_connectives +
, http://dbpedia.org/resource/Boolean_domain +
, http://dbpedia.org/resource/Boolean_function +
, http://dbpedia.org/resource/Universal_quantification +
, http://dbpedia.org/resource/Boolean_conjunctive_query +
|
| http://dbpedia.org/property/0Preserving
|
yes
|
| http://dbpedia.org/property/1Preserving
|
yes
|
| http://dbpedia.org/property/affine
|
no
|
| http://dbpedia.org/property/id
|
p/c025080
|
| http://dbpedia.org/property/logicGate
|
AND_ANSI.svg
|
| http://dbpedia.org/property/monotone
|
no
|
| http://dbpedia.org/property/otherTitles
|
AND
|
| http://dbpedia.org/property/selfDual
|
yes
|
| http://dbpedia.org/property/title
|
Conjunction
, Logical conjunction
|
| http://dbpedia.org/property/vennDiagram
|
Venn0001.svg
|
| http://dbpedia.org/property/wikiPageUsesTemplate
|
http://dbpedia.org/resource/Template:Cite_web +
, http://dbpedia.org/resource/Template:Yes2 +
, http://dbpedia.org/resource/Template:Anchor +
, http://dbpedia.org/resource/Template:Common_logical_symbols +
, http://dbpedia.org/resource/Template:Logical_connectives +
, http://dbpedia.org/resource/Template:Infobox_logical_connective +
, http://dbpedia.org/resource/Template:Small +
, http://dbpedia.org/resource/Template:Reflist +
, http://dbpedia.org/resource/Template:%21 +
, http://dbpedia.org/resource/Template:Distinguish +
, http://dbpedia.org/resource/Template:Authority_control +
, http://dbpedia.org/resource/Template:Colend +
, http://dbpedia.org/resource/Template:Springer +
, http://dbpedia.org/resource/Template:Short_description +
, http://dbpedia.org/resource/Template:Commons_category +
, http://dbpedia.org/resource/Template:Colbegin +
, http://dbpedia.org/resource/Template:Math +
, http://dbpedia.org/resource/Template:Mathematical_logic +
, http://dbpedia.org/resource/Template:No2 +
|
| http://purl.org/dc/terms/subject
|
http://dbpedia.org/resource/Category:Logical_connectives +
, http://dbpedia.org/resource/Category:Semantics +
|
| http://www.w3.org/ns/prov#wasDerivedFrom
|
http://en.wikipedia.org/wiki/Logical_conjunction?oldid=1120090987&ns=0 +
|
| http://xmlns.com/foaf/0.1/depiction
|
http://commons.wikimedia.org/wiki/Special:FilePath/Venn01.svg +
, http://commons.wikimedia.org/wiki/Special:FilePath/Venn_0000_1111.svg +
, http://commons.wikimedia.org/wiki/Special:FilePath/Venn_0001_0001.svg +
, http://commons.wikimedia.org/wiki/Special:FilePath/Venn_0001_0101.svg +
, http://commons.wikimedia.org/wiki/Special:FilePath/Venn_0011_1111.svg +
, http://commons.wikimedia.org/wiki/Special:FilePath/Venn_0000_0001.svg +
, http://commons.wikimedia.org/wiki/Special:FilePath/Venn_0000_0011.svg +
, http://commons.wikimedia.org/wiki/Special:FilePath/Venn_0000_0101.svg +
, http://commons.wikimedia.org/wiki/Special:FilePath/Venn_0101_0101.svg +
, http://commons.wikimedia.org/wiki/Special:FilePath/Venn_1011_1011.svg +
, http://commons.wikimedia.org/wiki/Special:FilePath/Venn_1111_1011.svg +
, http://commons.wikimedia.org/wiki/Special:FilePath/Venn0111.svg +
, http://commons.wikimedia.org/wiki/Special:FilePath/AND_ANSI.svg +
, http://commons.wikimedia.org/wiki/Special:FilePath/AND_Gate_diagram.svg +
, http://commons.wikimedia.org/wiki/Special:FilePath/Multigrade_operator_AND.svg +
, http://commons.wikimedia.org/wiki/Special:FilePath/Venn0001.svg +
|
| http://xmlns.com/foaf/0.1/isPrimaryTopicOf
|
http://en.wikipedia.org/wiki/Logical_conjunction +
|
| owl:differentFrom |
http://dbpedia.org/resource/Caret +
, http://dbpedia.org/resource/Turned_V +
, http://dbpedia.org/resource/Exterior_Algebra +
, http://dbpedia.org/resource/Lambda +
|
| owl:sameAs |
http://hu.dbpedia.org/resource/Konjunkci%C3%B3 +
, http://th.dbpedia.org/resource/%E0%B8%81%E0%B8%B2%E0%B8%A3%E0%B9%80%E0%B8%8A%E0%B8%B7%E0%B9%88%E0%B8%AD%E0%B8%A1%E0%B9%80%E0%B8%8A%E0%B8%B4%E0%B8%87%E0%B8%95%E0%B8%A3%E0%B8%A3%E0%B8%81%E0%B8%A8%E0%B8%B2%E0%B8%AA%E0%B8%95%E0%B8%A3%E0%B9%8C +
, http://da.dbpedia.org/resource/Konjunktion_%28logik%29 +
, http://fr.dbpedia.org/resource/Conjonction_logique +
, http://pms.dbpedia.org/resource/Congionsion +
, http://zh.dbpedia.org/resource/%E9%80%BB%E8%BE%91%E4%B8%8E +
, http://uk.dbpedia.org/resource/%D0%9A%D0%BE%D0%BD%27%D1%8E%D0%BD%D0%BA%D1%86%D1%96%D1%8F +
, http://hy.dbpedia.org/resource/%D4%BF%D5%B8%D5%B6%D5%B5%D5%B8%D6%82%D5%B6%D5%AF%D6%81%D5%AB%D5%A1 +
, http://mk.dbpedia.org/resource/%D0%9B%D0%BE%D0%B3%D0%B8%D1%87%D0%BA%D0%B0_%D0%BA%D0%BE%D0%BD%D1%98%D1%83%D0%BD%D0%BA%D1%86%D0%B8%D1%98%D0%B0 +
, http://et.dbpedia.org/resource/Konjunktsioon +
, http://sl.dbpedia.org/resource/Konjunkcija_%28logika%29 +
, http://simple.dbpedia.org/resource/Logical_conjunction +
, http://sh.dbpedia.org/resource/Logi%C4%8Dka_konjunkcija +
, http://kk.dbpedia.org/resource/%D0%9A%D0%BE%D0%BD%D1%8A%D1%8E%D0%BD%D0%BA%D1%86%D0%B8%D1%8F +
, http://sv.dbpedia.org/resource/Konjunktion_%28logik%29 +
, http://sw.cyc.com/concept/Mx4rgbLR0UdkEdaEZwACs1u19A +
, http://ky.dbpedia.org/resource/%D0%9A%D0%BE%D0%BD%D1%8A%D1%8E%D0%BD%D0%BA%D1%86%D0%B8%D1%8F +
, http://pt.dbpedia.org/resource/Conjun%C3%A7%C3%A3o_l%C3%B3gica +
, http://yago-knowledge.org/resource/Logical_conjunction +
, http://sr.dbpedia.org/resource/%D0%9B%D0%BE%D0%B3%D0%B8%D1%87%D0%BA%D0%B0_%D0%BA%D0%BE%D0%BD%D1%98%D1%83%D0%BD%D0%BA%D1%86%D0%B8%D1%98%D0%B0 +
, https://global.dbpedia.org/id/qotX +
, http://id.dbpedia.org/resource/Logika_konjungsi +
, http://eu.dbpedia.org/resource/Konjuntzio_logiko +
, http://bg.dbpedia.org/resource/%D0%9A%D0%BE%D0%BD%D1%8E%D0%BD%D0%BA%D1%86%D0%B8%D1%8F +
, http://ko.dbpedia.org/resource/%EB%85%BC%EB%A6%AC%EA%B3%B1 +
, http://no.dbpedia.org/resource/Konjunksjon_%28logikk%29 +
, http://dbpedia.org/resource/Logical_conjunction +
, http://ar.dbpedia.org/resource/%D8%B9%D8%B7%D9%81_%D9%85%D9%86%D8%B7%D9%82%D9%8A +
, http://www.wikidata.org/entity/Q191081 +
, http://fa.dbpedia.org/resource/%D8%B9%D8%B7%D9%81_%D9%85%D9%86%D8%B7%D9%82%DB%8C +
, http://ru.dbpedia.org/resource/%D0%9A%D0%BE%D0%BD%D1%8A%D1%8E%D0%BD%D0%BA%D1%86%D0%B8%D1%8F +
, http://es.dbpedia.org/resource/Conjunci%C3%B3n_l%C3%B3gica +
, http://lt.dbpedia.org/resource/Konjunkcija_%28logika%29 +
, http://it.dbpedia.org/resource/Congiunzione_logica +
, http://lmo.dbpedia.org/resource/Dobi +
, http://ja.dbpedia.org/resource/%E8%AB%96%E7%90%86%E7%A9%8D +
, http://nl.dbpedia.org/resource/Logische_conjunctie +
, http://fi.dbpedia.org/resource/Konjunktio_%28logiikka%29 +
, http://sk.dbpedia.org/resource/Konjunkcia_%28logika%29 +
, http://de.dbpedia.org/resource/Konjunktion_%28Logik%29 +
, http://pl.dbpedia.org/resource/Koniunkcja_%28logika%29 +
, http://rdf.freebase.com/ns/m.04m2t +
, http://he.dbpedia.org/resource/%D7%95%D7%92%D7%9D_%28%D7%9C%D7%95%D7%92%D7%99%D7%A7%D7%94%29 +
, http://eo.dbpedia.org/resource/Konjunkcio_%28logiko%29 +
, http://cs.dbpedia.org/resource/Konjunkce_%28logika%29 +
, http://ca.dbpedia.org/resource/Conjunci%C3%B3_l%C3%B2gica +
, http://d-nb.info/gnd/4164990-4 +
, http://sq.dbpedia.org/resource/Konjuksioni +
|
| rdf:type |
http://dbpedia.org/class/yago/Signal106791372 +
, http://dbpedia.org/class/yago/WikicatLogicalConnectives +
, http://dbpedia.org/class/yago/Conjunction106325826 +
, http://dbpedia.org/class/yago/Symbol106806469 +
, http://dbpedia.org/class/yago/FunctionWord106291318 +
, http://dbpedia.org/class/yago/LanguageUnit106284225 +
, http://dbpedia.org/class/yago/Abstraction100002137 +
, http://dbpedia.org/class/yago/Part113809207 +
, http://dbpedia.org/class/yago/Relation100031921 +
, http://dbpedia.org/class/yago/WikicatLogicSymbols +
, http://dbpedia.org/class/yago/Word106286395 +
, http://dbpedia.org/class/yago/Communication100033020 +
|
| rdfs:comment |
Конъю́нкция (от лат. conjunctio — «союз, с … Конъю́нкция (от лат. conjunctio — «союз, связь») — логическая операция, по смыслу максимально приближенная к союзу «и». Синонимы: логи́ческое «И», логи́ческое умноже́ние, иногда просто «И». Конъюнкция может быть бинарной операцией (т. e. иметь два операнда), тернарной операцией (т. e. иметь три операнда), или n-арной операцией (т. e. иметь n операндов).арной операцией (т. e. иметь n операндов).
, Als Konjunktion (lateinisch coniungere ‚ve … Als Konjunktion (lateinisch coniungere ‚verbinden‘; allgemeinsprachlich: Und-Verknüpfung) wird in der Logik eine bestimmte Verknüpfung zweier Aussagen oder Aussagefunktionen bezeichnet. Gelesen wird die Konjunktion zweier Aussagen A sowie B meist als „A und B“. In der klassischen Logik ist die Verknüpfung zweier Aussagen "A und B" genau dann wahr, wenn beide Aussagenbestandteile, "A" und "B", jeweils wahr sind. Gemeint sein kann mit dem Wort KonjunktionGemeint sein kann mit dem Wort Konjunktion
, 在逻辑和数学中，逻辑合取或逻辑与或且是一个二元逻辑運算符。如果其两个变量的真值都为“真”，其结果为“真”，否则其结果为“假”。
, 数理論理学において論理積（ろんりせき、英: logical conjunction）とは、与えられた複数の命題のいずれもが例外なく真であることを示す論理演算である。合接（ごうせつ）、連言（れんげん、れんごん）とも呼び、ANDとよく表す。 二つの命題 P, Q に対する論理積を P ∧ Q と書き、「P かつ Q」や「P そして Q」などと読む。
, Inom logik och matematik är konjunktion et … Inom logik och matematik är konjunktion ett konnektiv, som betecknas med symbolen eller symbolen , och utläses som "och". En sats, vars delar är förbundna med detta konnektiv kallas, även denna, för en konjunktion. En sådan sats är sann, om och endast om alla dess operander är sanna. Med A och B symboliserande påståenden, utläses satsen A B som: A och B. Den skall således tolkas som sann, om och endast om båda satserna är sanna. Konnektivet , kan tillsammans med exempelvis konnektivet för negation uttrycka varje annat konnektiv inom satslogiken.ka varje annat konnektiv inom satslogiken.
, En razonamiento formal, una conjunción lóg … En razonamiento formal, una conjunción lógica entre dos proposiciones es un conector lógico cuyo valor de la verdad resulta en cierto solo si ambas proposiciones son ciertas, y en falso de cualquier otra forma. Existen diferentes contextos donde se utiliza la conjunción lógica. En lenguajes formales, el conectivo "y" se utiliza en español para simbolizar una conjunción lógica. La noción equivalente en la teoría de conjuntos es la intersección. En álgebra booleana, la conjunción como operador binario entre dos variables se representa con el símbolo de punto medio ( · ).senta con el símbolo de punto medio ( · ).
, Кон'юнкція (лат. conjangere — об'єднувати) (операція AND) — двомісна логічна операція, що має значення «істина», якщо всі операнди мають значення «істина». Операція передбачає вживання сполучника «і» в логічних висловлюваннях.
, Dalam logika dan bidang teknik yang memaka … Dalam logika dan bidang teknik yang memakainya, konjungsi, atau dan, adalah operator logika dalam kalkulus proposisional.Hasil dari dua proposisi juga disebut konjungsi mereka.Hasil konjungsi adalah benar jika kedua proposisinya benar; jika tidak, hasilnya adalah salah. benar; jika tidak, hasilnya adalah salah.
, In logica, una congiunzione logica è un co … In logica, una congiunzione logica è un connettivo logico attraverso il quale, a partire da due proposizioni, si forma una nuova proposizione chiamata appunto congiunzione. Date due proposizioni e la congiunzione di e , indicata con , è vera soltanto nel caso in cui e siano entrambe vere, mentre è falsa in tutti gli altri casi possibili. Quando si hanno due enunciati aperti e , l' di corrisponde all'intersezione tra i due insiemi di verità. In effetti, la congiunzione gode delle stesse proprietà dell'intersezione. La congiunzione in algebra booleana è indicata con l'operatore AND.a booleana è indicata con l'operatore AND.
, In logic, mathematics and linguistics, And … In logic, mathematics and linguistics, And is the truth-functional operator of logical conjunction; the and of a set of operands is true if and only if all of its operands are true. The logical connective that represents this operator is typically written as or ⋅ . is true if and only if is true and is true, otherwise it is false. An operand of a conjunction is a conjunct. Beyond logic, the term "conjunction" also refers to similar concepts in other fields:efers to similar concepts in other fields:
, In de wiskunde en de logica is logische conjunctie (symbool: , &, &&, EN of AND) een logische operator die twee proposities met elkaar verbindt, zodanig dat de conjunctie van beide waar is als beide operanden waar zijn.
, Logická konjunkce (používají se pro ni symboly AND, & nebo ) je binární logická operace, jejíž hodnota je pravda, právě když obě vstupní hodnoty jsou pravda.
, En la logiko, la konjunkcio aŭ logika kajo … En la logiko, la konjunkcio aŭ logika kajo (esprimita per kaj) estas (operacio), kiu nur rezultigas veran frazon, se ambaŭ frazeroj estas veraj. La operacio estadas skribita per signo & (kodo deksesuma 26 en unikodo, & en HTML) aŭ per signo ∧ (kodo deksesuma 2227 en unikodo, ∧ en HTML). Ĝia vertabelo do estas (uzataj valoroj estas mallongigoj de Vera kaj Falsa): La alia maniero de skribo de la sama vertabelo estas per uzo de nombro 1 por Vera kaj 0 por Falsa: Konjunkcio estas asocieca kaj komuta. En elektrotekniko logika kajo estas farata per seria konekto de ŝaltiloj.stas farata per seria konekto de ŝaltiloj.
, Koniunkcja – zdanie złożone mające postać … Koniunkcja – zdanie złożone mające postać p i q, gdzie p, q są zdaniami. W rachunku zdań koniunkcję zapisuje się symbolicznie jako: Przez koniunkcję rozumie się też zdanie mające postać i... i Koniunkcję można zdefiniować precyzyjniej jako dwuargumentowe działanie określone w zbiorze zdań lub funkcji zdaniowych, które zdaniom p, q przyporządkowuje zdanie p i q. Koniunkcja dwóch zdań p i q jest zdaniem prawdziwym wtedy i tylko wtedy, gdy oba zdania p, q są zdaniami prawdziwymi. Niekiedy słowo koniunkcja odnosi się również do spójnika.koniunkcja odnosi się również do spójnika.
, En matemàtiques, una conjunció lògica és un operador lògic que resulta veritable si els dos operadors són veritables.
, A conjunção é uma operação na lógica matem … A conjunção é uma operação na lógica matemática, que pode ser ligada à operação de interseção de conjuntos. A conjunção é representada pelo conectivo lógico ∧, e em programação por AND ou && que = a letra EEx:João ∧ Maria vão ao shoppingA conjunção lógica pode ainda ser representada pelo símbolo do produto. ser representada pelo símbolo do produto.
, En logique, la conjonction est une opérati … En logique, la conjonction est une opération mise en œuvre par le connecteur binaire et. Le connecteur et est donc un opérateur binaire qui lie deux propositions pour en faire une autre. Si on admet chacune des deux propositions, alors on admettra la proposition qui en est la conjonction. En logique mathématique, le connecteur de conjonction est noté soit &, soit ∧.e conjonction est noté soit &, soit ∧.
, , bi proposizioen arteko konjuntzio logikoa lokailu logiko bat da, zeinen egia balioa egiazkoa izango da bi proposizioak egiazkoak badira eta faltsua beste kasu guztietan. “A eta B” egiazkoa izango da, A egiazkoa bada eta B egiazkoa bada bakarrik.
, 논리곱(conjunction, AND)이란 수리 논리학에서, 주어진 복수 명제 모두가 참인지를 나타내는 논리 연산이다. 두 명제 P, Q에 대한 논리곱을 (P ∧ Q)라고 기록하고,「P 그리고 Q」라고 읽는다.
|
| rdfs:label |
Conjonction logique
, Konjunkcio (logiko)
, 逻辑与
, Logika konjungsi
, Conjunção lógica
, Conjunció lògica
, Konjunkce (logika)
, Konjunktion (Logik)
, Кон'юнкція
, 논리곱
, 論理積
, Congiunzione logica
, Logical conjunction
, Konjuntzio logiko
, عطف منطقي
, Konjunktion (logik)
, Logische conjunctie
, Koniunkcja (logika)
, Конъюнкция
, Conjunción lógica
|
