blob: bb3b1bd880db09ee8e8fbf84382c106b14095f3f (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15

Mathematical Logic

*Note: Incomplete; in progress*
definition of induction: meserev 14
## 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.
