Adjunción opuesta

Adjunción opuesta
Diagrama de Venn de la conectiva
Nomenclatura
Lenguaje natural	B y no A
Lenguaje formal	$A\nleftarrow B$
Tabla de verdad
${\begin{array}{c|c||c}A&B&A\nleftarrow B\\\hline V&V&F\\V&F&F\\F&V&V\\F&F&F\\\end{array}}$

Conectivas lógicas
Tautología $\top$ Conjunción opuesta $\uparrow$ Implicación opuesta $\leftarrow$ Condicional material $\rightarrow$ Disyunción lógica $\lor$ Negación lógica $\lnot$ Disyunción exclusiva $\nleftrightarrow$ Bicondicional $\leftrightarrow$ Afirmación lógica Disyunción opuesta $\downarrow$ Adjunción lógica $\nrightarrow$ Adjunción opuesta $\nleftarrow$ Conjunción lógica $\land$ Contradicción $\bot$

En razonamiento formal, la adjunción opuesta o negación de la implicación opuesta ( $\nleftarrow$ ) 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:

$a\nleftarrow b\;;\quad \lnot (a\leftarrow b)\;;\quad \lnot a\land b\;;\quad b-a$

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

• Datos: Q5166459
• Multimedia: Converse nonimplication / Q5166459