| dbo:abstract |
In logic, converse nonimplication is a logical connective which is the negation of converse implication (equivalently, the negation of the converse of implication). (en) En razonamiento formal, la adjunción opuesta 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 falsa y la condición b es verdadera, y es falso de cualquier otro caso. Existen diferentes contextos dónde se utiliza la implicación opuesta y puede expresarse: (es) En logique, la non-implication réciproque est un connecteur logique qui est la négation de la réciproque de l'implication. (fr) |
| dbo:thumbnail |
wiki-commons:Special:FilePath/Venn0010.svg?width=300 |
| dbo:wikiPageID |
11880985 (xsd:integer) |
| dbo:wikiPageLength |
16793 (xsd:nonNegativeInteger) |
| dbo:wikiPageRevisionID |
1117807990 (xsd:integer) |
| dbo:wikiPageWikiLink |
dbr:De_Morgan's_laws dbr:Commutativity dbr:Material_conditional dbr:Negation dbr:Neutral_element dbc:Logical_connectives dbr:Logic dbr:Propositional_logic dbr:Truth_table dbr:Truth_value dbr:Join_(SQL) dbr:Database dbr:Duality_(mathematics) dbr:Conversion_(logic) dbr:Logical_connective dbr:Involution_(mathematics) dbr:Absorbing_element dbr:Józef_Maria_Bocheński dbr:Boolean_algebra_(structure) dbr:Converse_implication dbr:Coprime dbr:Two-element_Boolean_algebra dbr:The_Art_of_Computer_Programming dbr:File:Venn0010.svg |
| dbp:wikiPageUsesTemplate |
dbt:No2 dbt:Anchor dbt:Cite_book dbt:Commonscatinline dbt:Empty_section dbt:Math dbt:Mvar dbt:Reflist dbt:Short_description dbt:Yes2 dbt:Logical_connectives |
| dct:subject |
dbc:Logical_connectives |
| gold:hypernym |
dbr:Negation |
| rdf:type |
yago:WikicatLogicalConnectives yago:Abstraction100002137 yago:Conjunction106325826 yago:FunctionWord106291318 yago:LanguageUnit106284225 yago:Part113809207 yago:Relation100031921 yago:Word106286395 |
| rdfs:comment |
In logic, converse nonimplication is a logical connective which is the negation of converse implication (equivalently, the negation of the converse of implication). (en) En razonamiento formal, la adjunción opuesta 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 falsa y la condición b es verdadera, y es falso de cualquier otro caso. Existen diferentes contextos dónde se utiliza la implicación opuesta y puede expresarse: (es) En logique, la non-implication réciproque est un connecteur logique qui est la négation de la réciproque de l'implication. (fr) |
| rdfs:label |
Converse nonimplication (en) Adjunción opuesta (es) Non-implication réciproque (fr) Non-implicazione inversa (it) |
| owl:sameAs |
freebase:Converse nonimplication yago-res:Converse nonimplication wikidata:Converse nonimplication dbpedia-es:Converse nonimplication dbpedia-fr:Converse nonimplication dbpedia-it:Converse nonimplication https://global.dbpedia.org/id/4iNDV |
| prov:wasDerivedFrom |
wikipedia-en:Converse_nonimplication?oldid=1117807990&ns=0 |
| foaf:depiction |
wiki-commons:Special:FilePath/Venn0010.svg |
| foaf:isPrimaryTopicOf |
wikipedia-en:Converse_nonimplication |
| is dbo:wikiPageDisambiguates of |
dbr:Converse |
| is dbo:wikiPageWikiLink of |
dbr:Universal_quantification dbr:Bitwise_operation dbr:Validity_(logic) dbr:Index_of_philosophy_articles_(A–C) dbr:List_of_rules_of_inference dbr:Mxparser dbr:Truth_table dbr:Lojban_grammar dbr:Józef_Maria_Bocheński dbr:Converse dbr:Outline_of_logic |
| is foaf:primaryTopic of |
wikipedia-en:Converse_nonimplication |
