Category:De Morgan's Laws (Logic)

From ProofWiki

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.

A

Assertion of Existence
Assertion of Universality

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

Retrieved from "https://proofwiki.org/w/index.php?title=Category:De_Morgan%27s_Laws_(Logic)&oldid=590725"

Categories:

Conjunction
Disjunction
Logical Negation
Propositional Logic
Predicate Logic

Category:De Morgan's Laws (Logic)

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

A

D

Navigation menu

Search