Adjunción lógica

En razonamiento formal, la Adjunción Lógica ( ${\displaystyle \nrightarrow }$ ) 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:

Adjunción lógica
Diagrama de Venn de la conectiva
Nomenclatura
Lenguaje natural	A y no B
Lenguaje formal	${\displaystyle A\nrightarrow B}$
Tabla de verdad
${\displaystyle {\begin{array}{c|c||c}A&B&A\nrightarrow B\\\hline V&V&F\\V&F&V\\F&V&F\\F&F&F\\\end{array}}}$
[editar datos en Wikidata]

${\displaystyle a\nrightarrow b\;;\quad \lnot (a\rightarrow b)\;;\quad a\land \lnot b\;;\quad a-b}$

Usos

Álgebra Booleana

Electrónica

Propiedades

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: Q427343
•   Multimedia: Category:Material nonimplication