In predicate logic, the constant domain principle is not valid: does not imply the stronger . The distributive properties does however hold for any finite number of propositions. For a variant of the De Morgan law concerning two existentially closed decidable predicates, see LLPO.
In predicate logic the constant domain principle is not valid does not imply the stronger  The distributive properties does however hold for any finite number of propositions For a variant of the De Morgan law concerning two existentially closed decidable predicates see LLPO