blob: 9d7182396e38b459a2be2e84edee4ffe1d634155 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
|
---
format: markdown
categories: math
toc: no
...
# Mathematical Logic
*Note: Incomplete; in progress*
definition of induction: meserev 1-4
## Proofs
Indirect Proof: "reductio ad absurdum"
Show a paradox or impossibility in all cases by assuming the proposition
is false; then the proposition is true.
Proof by elimination
Propose a complete set of propositions and remove all but one.
|