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

Material nonimplication or abjunction (Latin ab = "from", junctio =–"joining") is the negation of material implication. That is to say that for any two propositions and , the material nonimplication from to is true if and only if the negation of the material implication from to is true. This is more naturally stated as that the material nonimplication from to is true only if is true and is false. It may be written using logical notation as , , or "Lpq" (in Bocheński notation), and is logically equivalent to , and .

Property Value
dbo:abstract
  • En razonamiento formal, la Adjunción Lógica entre dos proposiciones, a y b, es un conector lógico cuyo valor de la verdad resulta en verdadero sólo si la condición a es verdadero y la condición b es falsa, y es falso de cualquier otro caso. Existen diferentes contextos dónde se utiliza la implicación opuesta y puede expresarse: (es)
  • Material nonimplication or abjunction (Latin ab = "from", junctio =–"joining") is the negation of material implication. That is to say that for any two propositions and , the material nonimplication from to is true if and only if the negation of the material implication from to is true. This is more naturally stated as that the material nonimplication from to is true only if is true and is false. It may be written using logical notation as , , or "Lpq" (in Bocheński notation), and is logically equivalent to , and . (en)
  • La non-implication matérielle, ou abjonction, (latin ab = "de", junctio =–"jonction") est un des 16 connecteurs binaires de la logique classique propositionnelle . Au sein de cette logique elle exprime la négation de l'implication matérielle. Cela revient à dire que pour deux propositions P et Q, la non-implication matérielle de P à Q est vrai si et seulement si non P implique Q. Ceci est plus naturellement déclaré comme la non-implication de P à Q est vrai seulement si P est vrai et Q est faux. Il peut être écrit en utilisant la notation logique : p⊅qLpqp↛q Et est équivalent à: p∧~q (fr)
  • Матеріа́льна неімпліка́ція (англ. material nonimplication) або аб'ю́нкція (англ. abjunction, від лат. ab — «з», junctio — «сполучення») — це заперечення логічної імплікаціі. Тобто, для будь-яких двох висловлень P та Q неімплікація з P до Q є істинною тоді й лише тоді, коли істинним є заперечення імплікації з P до Q. Природніше це формулюється як те, що неімплікація з P до Q є істинною лише якщо P є істинним, а Q — хибним. Її можна записувати із застосуванням логічних позначень як p⊅qLpqp↛q І вона є рівнозначною до p∧~q (uk)
  • 实质非蕴涵是对实质蕴涵的否定。即是说:对于任何两个命题P和Q,当且仅当非P实质蕴涵Q,P实质非蕴涵Q。用更显明的话语来解释就是:由P到Q的实质非蕴涵仅在P为真,Q为假时成立。 逻辑学符号可以如此表示实质非蕴涵: p⊅qLpqp↛q 实质非蕴涵等同于: p∧~q (zh)
dbo:thumbnail
dbo:wikiPageID
  • 11880982 (xsd:integer)
dbo:wikiPageLength
  • 3583 (xsd:nonNegativeInteger)
dbo:wikiPageRevisionID
  • 1085671589 (xsd:integer)
dbo:wikiPageWikiLink
dbp:wikiPageUsesTemplate
dcterms:subject
rdf:type
rdfs:comment
  • En razonamiento formal, la Adjunción Lógica entre dos proposiciones, a y b, es un conector lógico cuyo valor de la verdad resulta en verdadero sólo si la condición a es verdadero y la condición b es falsa, y es falso de cualquier otro caso. Existen diferentes contextos dónde se utiliza la implicación opuesta y puede expresarse: (es)
  • Material nonimplication or abjunction (Latin ab = "from", junctio =–"joining") is the negation of material implication. That is to say that for any two propositions and , the material nonimplication from to is true if and only if the negation of the material implication from to is true. This is more naturally stated as that the material nonimplication from to is true only if is true and is false. It may be written using logical notation as , , or "Lpq" (in Bocheński notation), and is logically equivalent to , and . (en)
  • La non-implication matérielle, ou abjonction, (latin ab = "de", junctio =–"jonction") est un des 16 connecteurs binaires de la logique classique propositionnelle . Au sein de cette logique elle exprime la négation de l'implication matérielle. Cela revient à dire que pour deux propositions P et Q, la non-implication matérielle de P à Q est vrai si et seulement si non P implique Q. Ceci est plus naturellement déclaré comme la non-implication de P à Q est vrai seulement si P est vrai et Q est faux. Il peut être écrit en utilisant la notation logique : p⊅qLpqp↛q Et est équivalent à: p∧~q (fr)
  • Матеріа́льна неімпліка́ція (англ. material nonimplication) або аб'ю́нкція (англ. abjunction, від лат. ab — «з», junctio — «сполучення») — це заперечення логічної імплікаціі. Тобто, для будь-яких двох висловлень P та Q неімплікація з P до Q є істинною тоді й лише тоді, коли істинним є заперечення імплікації з P до Q. Природніше це формулюється як те, що неімплікація з P до Q є істинною лише якщо P є істинним, а Q — хибним. Її можна записувати із застосуванням логічних позначень як p⊅qLpqp↛q І вона є рівнозначною до p∧~q (uk)
  • 实质非蕴涵是对实质蕴涵的否定。即是说:对于任何两个命题P和Q,当且仅当非P实质蕴涵Q,P实质非蕴涵Q。用更显明的话语来解释就是:由P到Q的实质非蕴涵仅在P为真,Q为假时成立。 逻辑学符号可以如此表示实质非蕴涵: p⊅qLpqp↛q 实质非蕴涵等同于: p∧~q (zh)
rdfs:label
  • Adjunción lógica (es)
  • Non-implication (fr)
  • Non-implicazione (it)
  • Material nonimplication (en)
  • Неімплікація (uk)
  • 实质非蕴涵 (zh)
owl:sameAs
prov:wasDerivedFrom
foaf:depiction
foaf:isPrimaryTopicOf
is dbo:wikiPageRedirects of
is dbo:wikiPageWikiLink 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