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 «PQ» é verdadeira se «P» ou «Q» son verdadeiras. «PQ» 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 PQ
V V V
V F V
F V V
F F F