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 .
| Attributes | Values |
|---|
| rdf:type
| |
| rdfs:label
| - Adjunción lógica (es)
- Non-implication (fr)
- Non-implicazione (it)
- Material nonimplication (en)
- Неімплікація (uk)
- 实质非蕴涵 (zh)
|
| 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)
|
| foaf:depiction
| |
| dcterms:subject
| |
| Wikipage page ID
| |
| Wikipage revision ID
| |
| Link from a Wikipage to another Wikipage
| |
| sameAs
| |
| dbp:wikiPageUsesTemplate
| |
| thumbnail
| |
| has 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)
|
| prov:wasDerivedFrom
| |
| page length (characters) of wiki page
| |
| foaf:isPrimaryTopicOf
| |
| is Link from a Wikipage to another Wikipage
of | |
| is Wikipage redirect
of | |
| is foaf:primaryTopic
of | |
![[RDF Data]](/fct/images/sw-rdf-blue.png)
![[cxml]](/fct/images/cxml_doc.png)
![[csv]](/fct/images/csv_doc.png)
![[text]](/fct/images/ntriples_doc.png)
![[turtle]](/fct/images/n3turtle_doc.png)
![[ld+json]](/fct/images/jsonld_doc.png)
![[rdf+json]](/fct/images/json_doc.png)
![[rdf+xml]](/fct/images/xml_doc.png)
![[atom+xml]](/fct/images/atom_doc.png)
![[html]](/fct/images/html_doc.png)
