La proposition « P ou Q » est appelée disjonction de P et Q ; elle est vraie si l’une au moins des propositions P ou Q est vraie ; elle est fausse uniquement quand P et Q sont toutes les deux fausses.