blob: 65ceba938311e0d28748c8fc50d77fc8f7a0881e (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18

=======================
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.
