En razonamiento formal, la adjunción Lógica o negación de la implicación ( ) 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:
Ejemplo en lenguaje natural
Es sospechoso pero no culpable. Es A pero no B. AB
Véase también Álgebra booleana Lógica proposicional Puerta lógica Implicación Operador a nivel de bits
Bibliografía Nachbin, Leopoldo (1986). Álgebra elemental. Rochester, Nueva York: Eva V. Chesnau. Edición de la OEA, traducida al español por César E. Silva.
Enlaces externos Lógica de enunciados
Categoría:Conectivas lógicas Categoría:Terminología matemática