Disxunción

A disxunción, cuxo símbolo é «∨», é unha conexión lóxica que permite expresar que de dúas proposicións, polo menos unha é verdadeira. Dadas as proposicións «P» e «Q», a proposición «P ∨ Q» é verdadeira se «P» ou «Q» son verdadeiras. «P ∨ Q» denomínase «a disxunción de P e Q», e pode lerse «P ou Q» ou, para evitar a ambigüidade, «P ou Q ou ambas».

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

P	Q	P ∨ Q
V	V	V
V	F	V
F	V	V
F	F	F