El símbolo matemático " ^ " se conoce como conjunción lógica o intersección, comúnmente como lo que es la palabra "y", "también" o "además".
Para la lógica preposicional para dos preposiciones p y q, se tiene las siguientes reglas:
- Una conjunción es verdadera si la dos proposiciones son verdaderas.
- Una conjunción es falsa si al menos una de las proposiciones es falsa.
p q [p ^ q]
V V V
V F F
F V F
F F F
