La conjunción es una función veritativa que es verdadera cuando sus dos componentes son verdaderos, y falsa en los demás casos.
También se usa la voz “conjuntor” para referirse a la conectiva que denota esta función y a la proposición compuesta en la que actúa como conectiva dominante. La conjunción de p y q se representa p∧q, y a veces: p&q, o bien p•q.
La conjunción se define por la siguiente tabla de verdad:
| p | q | p∧q |
|---|---|---|
| V | V | V |
| V | F | F |
| F | V | F |
| F | F | F |
(v. conectiva, función veritativa)
Referencias en el texto: