Conxunción

A conxunción, cuxo símbolo é «∧», é unha conexión lóxica que permite expresar que dúas proposicións son verdadeiras. Dadas as proposicións «P» e «Q», a proposición «P ∧ Q» é verdadeira se tanto «P» como «Q» son verdadeiras. «P ∧ Q» denomínase «a conxunción de P e Q», e pode lerse «P e Q».

A seguinte táboa de verdade representa a definición da conxunción:

P	Q	P ∧ Q
V	V	V
V	F	F
F	V	F
F	F	F