auto-update(nvim): 2025-01-06 18:46:43
This commit is contained in:
parent
33c5ccd91b
commit
8cbcde26e3
1 changed files with 3 additions and 2 deletions
|
@ -46,7 +46,7 @@ first two exam scores if it is higher.
|
||||||
= Chapter 1: Logic and Proofs
|
= Chapter 1: Logic and Proofs
|
||||||
|
|
||||||
|
|
||||||
== Trivial Preliminaries
|
== Trivial preliminaries
|
||||||
|
|
||||||
Definitions barely worth considering. Included purely for posterity.
|
Definitions barely worth considering. Included purely for posterity.
|
||||||
|
|
||||||
|
@ -92,7 +92,8 @@ as *propositional forms*.
|
||||||
- $n = 2m + 1, exists m in ZZ$
|
- $n = 2m + 1, exists m in ZZ$
|
||||||
]
|
]
|
||||||
|
|
||||||
DeMorgan's Laws tell us how to distribute logical connectives across parentheses.
|
DeMorgan's Laws tell us how to distribute logical connectives across
|
||||||
|
parentheses.
|
||||||
|
|
||||||
#theorem[DeMorgan's Laws][
|
#theorem[DeMorgan's Laws][
|
||||||
+ $not (P or Q) = not P and not Q$
|
+ $not (P or Q) = not P and not Q$
|
||||||
|
|
Loading…
Reference in a new issue