summaryrefslogtreecommitdiffstats
path: root/math/logic.page
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 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.