Adjunción lógica

Adjunción lógica

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

En razonamiento formal, la adjunción Lógica o negación de la implicación ( ) 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:

En lenguajes formales, la palabra "y" se utiliza en español para simbolizar una conjunción lógica. La noción equivalente en la teoría de conjuntos es la intersección ( ). En álgebra Booleana, la conjunción como operador binario entre dos variables se representa con el símbolo de punto medio ( · ).

En electrónica, una puerta AND es una puerta lógica que implementa la conjunción lógica.

Véase también

[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.

Enlaces externos

[editar]