CONJUNCIÓN

Es el nombre que recibe la conectiva binaria ‘y’, simbolizada mediante el signo ‘∧’. Según ello,

p ∧ q

se lee;

p y q

Ejemplo de p ∧ q puede ser;

Pablo y Virginia son tímidos,

forma idiomàtica del enunciado:

Pablo es tímido y Virginia es tímida.

Es muy común todavía simbolizar ‘y’ por ‘.’.

Algunos autores prefieren la simple conjunción de las fórmulas; escriben, pues, 'p q’ en vez de ‘p ∧ q’. En la notación de Hilbert-Ackermann, ‘∧’ es representado por ‘&’. En la notación de  Łukasiewicz, ‘∧’ es represen­tado por la letra ‘K’ antepuesta a las fórmulas; así, ‘p ∧ q’ se escribe ‘K p q’.

Como hemos visto en el articulo sobre las Tablas de verdad, la tabla para ‘p ∧ q’ da efes para todos los valores de ‘p’ y de ‘q’ excepto cuando ‘p’ es verdadero y ‘q’ es verdadero.

La conjunción es llamada a veces «función