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.