Una expresión que deba ser verdadera o falsa pero que no pueda ser ambas, la llamaremos una proposición.
>
== Proposición disjuntiva ==
Para indicar que dos proposiciones están conectadas con la letra "o" se utiliza el símbolo <math>\or</math> , llamado conectivo disyuntivo.
A la proposición que resulta de unir dos proposiciones por medio del conectivo disyunción (<math>\or</math>), la llamaremos proposición disyuntiva p <math>\or</math> q.
p <math>\or</math> q tendrá un valor de verdad falso sólo cuando ambas componentes sean falsas, es decir, si al menos una de las componentes es verdadera, entonces p <math>\or</math> q es verdadera.
Sean A y B dos conjuntos, entonces definimos el conjunto A unión B, que anotaremos por A ∪ B al conjunto formado por todos los elementos que pertenecen al conjunto A o al conjunto B.
A ∪ B = { x / x ∈ ''A'' <math> \or </math> x ∈ ''B'' }
Un elemento del resultado puede pertenecer a uno solo de los dos conjuntos o a los dos conjuntos dados, pero en este caso dicho elemento se considera una sola vez.
Si P es el conjunto solución de la proposición p(x) y Q el de la proposición q(x), entonces el conjunto solución de p(x) <math> \or </math> q(x) es P ∪ Q.
