Definition
Idempotence (Propositional Logic)
Idempotence is the property of the connectives
and that combining a formula with itself yields the formula itself: For every interpretation
, No information is gained by repeating an operand, because both connectives ignore multiplicity: only the truth value of
matters.