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