Definition
De Morgan's Rules
In propositional logic, De Morgan’s rules allow the expression of conjunctions and disjunctions purely in terms of each other via negation:
Naturally, this can be applies to quantifiers:
De Morgan's Rules
In propositional logic, De Morgan’s rules allow the expression of conjunctions and disjunctions purely in terms of each other via negation:
Naturally, this can be applies to quantifiers: