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 | 18 ------------------
 1 file changed, 18 deletions(-)
 delete mode 100644 math/logic

(limited to 'math/logic')

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