una fbf (enunciado) de la forma "A & B" ("A y B").
(Haack, 1978).
En razonamiento formal, una conjunción lógica (∧, &) entre dos proposiciones es un conector lógico cuyo valor es verdad sólo si ambas proposiciones son ciertas, y es falso de cualquier otra forma.
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 (·).
(Wikipedia).