From f61026119df4700f69eb73e95620bc5928ca0fcb Mon Sep 17 00:00:00 2001
From: User <bnewbold@daemon.robocracy.org>
Date: Tue, 13 Oct 2009 02:52:09 +0000
Subject: Grand rename for gitit transfer

---
 math/logic.page | 18 ++++++++++++++++++
 1 file changed, 18 insertions(+)
 create mode 100644 math/logic.page

(limited to 'math/logic.page')

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.
-- 
cgit v1.2.3