# Category:De Morgan's Laws (Logic)

Jump to navigation
Jump to search

This category contains pages concerning **De Morgan's Laws (Logic)**:

- $\neg p \lor \neg q \dashv \vdash \neg \paren {p \land q}$

- $\neg p \land \neg q \dashv \vdash \neg \paren {p \lor q}$

- $p \land q \dashv \vdash \neg \paren {\neg p \lor \neg q}$

- $p \lor q \dashv \vdash \neg \paren {\neg p \land \neg q}$

The context is Propositional Logic and Predicate Logic.

## Pages in category "De Morgan's Laws (Logic)"

The following 50 pages are in this category, out of 50 total.

### D

- De Morgan's Laws (Logic)
- De Morgan's Laws (Logic)/Conjunction
- De Morgan's Laws (Logic)/Conjunction of Negations
- De Morgan's Laws (Logic)/Conjunction of Negations/Formulation 1
- De Morgan's Laws (Logic)/Conjunction of Negations/Formulation 1/Forward Implication
- De Morgan's Laws (Logic)/Conjunction of Negations/Formulation 1/Proof by Truth Table
- De Morgan's Laws (Logic)/Conjunction of Negations/Formulation 1/Reverse Implication
- De Morgan's Laws (Logic)/Conjunction of Negations/Formulation 2
- De Morgan's Laws (Logic)/Conjunction of Negations/Formulation 2/Forward Implication
- De Morgan's Laws (Logic)/Conjunction of Negations/Formulation 2/Proof 1
- De Morgan's Laws (Logic)/Conjunction of Negations/Formulation 2/Proof by Truth Table
- De Morgan's Laws (Logic)/Conjunction of Negations/Formulation 2/Reverse Implication
- De Morgan's Laws (Logic)/Conjunction/Definition
- De Morgan's Laws (Logic)/Conjunction/Formulation 1
- De Morgan's Laws (Logic)/Conjunction/Formulation 1/Forward Implication
- De Morgan's Laws (Logic)/Conjunction/Formulation 1/Proof by Truth Table
- De Morgan's Laws (Logic)/Conjunction/Formulation 1/Reverse Implication
- De Morgan's Laws (Logic)/Conjunction/Formulation 2
- De Morgan's Laws (Logic)/Conjunction/Formulation 2/Proof 1
- De Morgan's Laws (Logic)/Conjunction/Formulation 2/Proof by Truth Table
- De Morgan's Laws (Logic)/Disjunction
- De Morgan's Laws (Logic)/Disjunction of Negations
- De Morgan's Laws (Logic)/Disjunction of Negations/Formulation 1
- De Morgan's Laws (Logic)/Disjunction of Negations/Formulation 1/Forward Implication
- De Morgan's Laws (Logic)/Disjunction of Negations/Formulation 1/Proof by Truth Table
- De Morgan's Laws (Logic)/Disjunction of Negations/Formulation 1/Reverse Implication
- De Morgan's Laws (Logic)/Disjunction of Negations/Formulation 2
- De Morgan's Laws (Logic)/Disjunction of Negations/Formulation 2/Proof 1
- De Morgan's Laws (Logic)/Disjunction of Negations/Formulation 2/Proof by Truth Table
- De Morgan's Laws (Logic)/Disjunction/Formulation 1
- De Morgan's Laws (Logic)/Disjunction/Formulation 1/Forward Implication
- De Morgan's Laws (Logic)/Disjunction/Formulation 1/Proof by Truth Table
- De Morgan's Laws (Logic)/Disjunction/Formulation 1/Reverse Implication
- De Morgan's Laws (Logic)/Disjunction/Formulation 2
- De Morgan's Laws (Logic)/Disjunction/Formulation 2/Proof 1
- De Morgan's Laws (Logic)/Disjunction/Formulation 2/Proof by Truth Table
- De Morgan's Laws (Logic)/Technical Note
- De Morgan's Laws (Predicate Logic)
- De Morgan's Laws (Predicate Logic)/Assertion of Existence
- De Morgan's Laws (Predicate Logic)/Assertion of Universality
- De Morgan's Laws (Predicate Logic)/Denial of Existence
- De Morgan's Laws (Predicate Logic)/Denial of Universality
- De Morgan's Laws (Predicate Logic)/Denial of Universality/Formulation 1
- De Morgan's Laws (Predicate Logic)/Denial of Universality/Formulation 2
- De Morgan's Laws (Predicate Logic)/Denial of Universality/Formulation 2/Forward Implication
- De Morgan's Laws (Predicate Logic)/Denial of Universality/Formulation 2/Reverse Implication
- Denial of Existence
- Denial of Universality