Disjonction

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Un connecteur binaire vérité-fonctionnel (généralement noté ∨) qui vaut vrai dès qu'au moins une de ses formules opérandes est vraie ; en logique classique il s'agit du 'ou' inclusif.