diff options
| author | User <bnewbold@daemon.robocracy.org> | 2009-10-13 02:52:09 +0000 |
|---|---|---|
| committer | User <bnewbold@daemon.robocracy.org> | 2009-10-13 02:52:09 +0000 |
| commit | f61026119df4700f69eb73e95620bc5928ca0fcb (patch) | |
| tree | f17127cff9fec40f4207d9fa449b9692644ce6db /math/logic | |
| parent | 9d431740a3e6a7caa09a57504856b5d1a4710a14 (diff) | |
| download | knowledge-f61026119df4700f69eb73e95620bc5928ca0fcb.tar.gz knowledge-f61026119df4700f69eb73e95620bc5928ca0fcb.zip | |
Grand rename for gitit transfer
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. |