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}$

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

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

A

D

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