Material nonimplication (original) (raw)
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:
| 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 | wiki-commons:Special:FilePath/Venn0100.svg?width=300 |
| dbo:wikiPageID | 11880982 (xsd:integer) |
| dbo:wikiPageLength | 3583 (xsd:nonNegativeInteger) |
| dbo:wikiPageRevisionID | 1085671589 (xsd:integer) |
| dbo:wikiPageWikiLink | dbr:Material_conditional dbr:Negation dbc:Logical_connectives dbr:Logical_conjunction dbr:Proposition dbr:Truth_value dbr:Logical_disjunction dbr:Józef_Maria_Bocheński dbr:Latin dbr:Arrow_(symbol) dbr:Boolean_algebra dbr:Classical_logic dbr:If_and_only_if dbr:File:Venn0101.svg dbr:File:Venn1100.svg dbr:File:Venn0011.svg dbr:File:Venn0100.svg dbr:File:Venn1010.svg dbr:File:Venn1011.svg |
| dbp:wikiPageUsesTemplate | dbt:No2 dbt:Commonscatinline dbt:Reflist dbt:Unreferenced dbt:Yes2 dbt:Logic-stub dbt:Mathlogic-stub dbt:Logical_connectives |
| dct:subject | dbc:Logical_connectives |
| rdf:type | yago:WikicatLogicalConnectives yago:Abstraction100002137 yago:Conjunction106325826 yago:FunctionWord106291318 yago:LanguageUnit106284225 yago:Part113809207 yago:Relation100031921 yago:Word106286395 |
| 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 | freebase:Material nonimplication yago-res:Material nonimplication wikidata:Material nonimplication dbpedia-es:Material nonimplication dbpedia-fa:Material nonimplication dbpedia-fr:Material nonimplication dbpedia-it:Material nonimplication dbpedia-mk:Material nonimplication dbpedia-no:Material nonimplication dbpedia-uk:Material nonimplication dbpedia-zh:Material nonimplication https://global.dbpedia.org/id/3wqMC |
| prov:wasDerivedFrom | wikipedia-en:Material_nonimplication?oldid=1085671589&ns=0 |
| foaf:depiction | wiki-commons:Special:FilePath/Venn0100.svg wiki-commons:Special:FilePath/Venn1010.svg wiki-commons:Special:FilePath/Venn0011.svg wiki-commons:Special:FilePath/Venn0101.svg wiki-commons:Special:FilePath/Venn1011.svg wiki-commons:Special:FilePath/Venn1100.svg |
| foaf:isPrimaryTopicOf | wikipedia-en:Material_nonimplication |
| is dbo:wikiPageRedirects of | dbr:Abjunction |
| is dbo:wikiPageWikiLink of | dbr:Universal_quantification dbr:Bitwise_operation dbr:Validity_(logic) dbr:Index_of_philosophy_articles_(I–Q) dbr:Abjunction dbr:List_of_rules_of_inference dbr:Post's_lattice dbr:Logical_conjunction dbr:Truth_table dbr:Lojban_grammar dbr:Logical_connective dbr:Associative_property dbr:Józef_Maria_Bocheński dbr:LPQ dbr:NIMPLY_gate dbr:Outline_of_logic |
| is foaf:primaryTopic of | wikipedia-en:Material_nonimplication |
