diff options
Diffstat (limited to 'math/logic')
| -rw-r--r-- | math/logic | 18 |
1 files changed, 0 insertions, 18 deletions
diff --git a/math/logic b/math/logic deleted file mode 100644 index 65ceba9..0000000 --- a/math/logic +++ /dev/null @@ -1,18 +0,0 @@ -======================= -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. |