Conjunción lógica

Conjunción
Venn0001.svg
Diagrama de Venn de
Venn 0000 0001.svg
Diagrama de Venn de
Nomenclatura
Lenguaje formal
Operador booleano A y B
Operador de conjuntos
Puerta Lógica
AND ANSI Labelled.svg
Tabla de verdad

En razonamiento formal, una conjunción lógica ( ) entre dos proposiciones es un conector lógico cuyo valor de la verdad resulta en cierto sólo si ambas proposiciones son ciertas, y en falso de cualquier otra forma.[1] Existen diferentes contextos donde se utiliza la conjunción lógica.

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.

Definición

Dado un conjunto universal U formado por los elementos falso: F y verdadero: V:

y una operación binaria interna conjunción , que representaremos :

por la que definimos una aplicación que a cada par ordenado (a,b) de U por U se le asigna un c de U.

Para todo par ordenado (a,b) en U por U, se cumple que existe un único c en U, tal que c es el resultado de la conjunción lógica a y b.

Other Languages
български: Конюнкция
emiliàn e rumagnòl: Congiunsiòun lògica
فارسی: عطف منطقی
magyar: Konjunkció
Հայերեն: Կոնյունկցիա
Bahasa Indonesia: Logika konjungsi
日本語: 論理積
қазақша: Конъюнкция
한국어: 논리곱
norsk bokmål: Konjunksjon (logikk)
Piemontèis: Congionsion
русский: Конъюнкция
srpskohrvatski / српскохрватски: Logička konjunkcija
Simple English: Logical conjunction
slovenčina: Konjunkcia (logika)
slovenščina: Konjunkcija (logika)
українська: Кон'юнкція
中文: 逻辑与