From 397cefef7929e6cd49959db1d891f5b0654ebd05 Mon Sep 17 00:00:00 2001
From: bryan newbold <bnewbold@snark.mit.edu>
Date: Tue, 10 Jun 2008 10:48:24 -0400
Subject: added a bunch of math content based on alaska notes. added more
 ethernet content

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

(limited to 'math/logic')

diff --git a/math/logic b/math/logic
new file mode 100644
index 0000000..65ceba9
--- /dev/null
+++ b/math/logic
@@ -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