Adjunción opuesta

Plantilla:Referencias Plantilla:Ficha de conectiva lógica {{#invoke:Sidebar|sidebar |class = plainlist |name = Conectivas lógicas |title = Conectivas lógicas |image = |content1 =

• Tautología $\mathrm{\top }$
• Conjunción opuesta $\uparrow$
• Implicación opuesta $\leftarrow$
• Condicional material $\to$
• Disyunción lógica $\vee$
• Negación lógica $\mathrm{\neg }$
• 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 $\wedge$
• Contradicción $\mathrm{\perp }$

}} 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;\mathrm{\neg }(a\leftarrow b);\mathrm{\neg }a\wedge b;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