En razonamiento formal, la adjunción opuesta o negación de la implicació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:
Ejemplo en lenguaje natural
No es asesino, pero sí cómplice. No es A pero sí B. AB
Véase también Álgebra booleana Lógica proposicional Puerta lógica Implicación Operador a nivel de bits
Enlaces externos Lógica de enunciados 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. Libros relacionados en formato PDF
Categoría:Conectivas lógicas Categoría:Terminología matemática