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.page | |
parent | 9d431740a3e6a7caa09a57504856b5d1a4710a14 (diff) | |
download | knowledge-f61026119df4700f69eb73e95620bc5928ca0fcb.tar.gz knowledge-f61026119df4700f69eb73e95620bc5928ca0fcb.zip |
Grand rename for gitit transfer
Diffstat (limited to 'math/logic.page')
-rw-r--r-- | math/logic.page | 18 |
1 files changed, 18 insertions, 0 deletions
diff --git a/math/logic.page b/math/logic.page new file mode 100644 index 0000000..65ceba9 --- /dev/null +++ b/math/logic.page @@ -0,0 +1,18 @@ +======================= +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. |