Adjunción opuesta

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:

Adjunción opuesta

Diagrama de Venn de la conectiva
Nomenclatura
Lenguaje natural B y no A
Lenguaje formal
Tabla de verdad


Véase también

editar

Enlaces externos

editar

Bibliografía

editar
  • 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