Wikidata facts
- Image
- Venn0100.svg
Show 3 more facts
- TeX string
- \nrightarrow
- Unicode character
- ↛
- Commons category
- Material nonimplication
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
Connections
proposition
Entity
Latin
Entity
logic
Entity
digital object identifier
Entity
mathematical logic
Entity
Boolean algebra
Entity
Venn diagram
Entity
logical contradiction
Entity
logical negation
Entity
logical disjunction
Entity
logical conjunction
Entity
if and only if
Entity
complement
Entity
logical operator
Entity
material implication
Entity
AND gate
Entity
tautology
Entity
NAND gate
Entity
inverter
Entity
OR gate
Entity