Adjunción lógica
![]() | Este artículo o sección necesita referencias que aparezcan en una publicación acreditada. Busca fuentes: «Adjunción lógica» – noticias · libros · académico · imágenes Este aviso fue puesto el 15 de agosto de 2016. |
Adjunción lógica | ||
---|---|---|
![]() Diagrama de Venn de la conectiva | ||
Nomenclatura | ||
Lenguaje natural | A y no B | |
Lenguaje formal | ||
Tabla de verdad | ||
[editar datos en Wikidata] |
Conectivas lógicas |
---|
![]() |
|
|
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
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.
Enlaces externos
- Lógica de enunciados
Datos: Q427343
Multimedia: Material nonimplication / Q427343