Wikidata facts
- Instance of
- logical operator
- Image
- Venn0010.svg
Show 4 more facts
- TeX string
- \nleftarrow
- Unicode character
- ↚
- Commons category
- Converse nonimplication
- maintained by WikiProject
- WikiProject Mathematics
via Wikidata · CC0
Article · Español
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:
Abstract from DBpedia / Wikipedia · CC BY-SA