Disjunction ∨

Disjunction, also known as a logical OR, is a basic operation in propositional logic. The statment φ ∨ ψ is true, if either φ is true, ψ is true, or both are true.

Truth Table


Disjunction is defined using the conditional and negation: (<-> (\/ ph ps) (-> (-. ph) ps)) /edit/peano_new/prop.gh/df-or


Propositional Logic

Login to edit