In logic, converse nonimplication is a logical connective which is the negation of converse implication (equivalently, the negation of the converse of implication).
Attributes | Values |
---|
rdf:type
| |
rdfs:label
| - Converse nonimplication (en)
- Adjunción opuesta (es)
- Non-implication réciproque (fr)
- Non-implicazione inversa (it)
|
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)
|
foaf:depiction
| |
dcterms:subject
| |
Wikipage page ID
| |
Wikipage revision ID
| |
Link from a Wikipage to another Wikipage
| |
sameAs
| |
dbp:wikiPageUsesTemplate
| |
thumbnail
| |
has 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)
|
gold:hypernym
| |
prov:wasDerivedFrom
| |
page length (characters) of wiki page
| |
foaf:isPrimaryTopicOf
| |
is Link from a Wikipage to another Wikipage
of | |
is Wikipage disambiguates
of | |
is foaf:primaryTopic
of | |