o

Lògica

Conjunció que constitueix la proposició connectiva de disjunció.

Té, en general, dues accepcions: la que significa “almenys un”, que és anomenada “o” inclusiva, i la que significa “un i només un”, que és anomenada “o” exclusiva. En la lògica matemàtica i en la teoria de conjunts hom utilitza només la o inclusiva. Així, donats els conjunts A i B, un element pertany a A o B si el dit element pertany a A o bé pertany a B o bé, en particular, pertany a A i a B. Entre proposicions lògiques és representada pel símbol V, és a dir, pVq ≡poq.