From a290d583ca3c4dfc39115068f209d64449c93a03 Mon Sep 17 00:00:00 2001
From: bnewbold <bnewbold@ziggy.(none)>
Date: Sun, 24 Jan 2010 03:39:25 -0500
Subject: math fixes

---
 math/logic.page | 16 +++++++++-------
 1 file changed, 9 insertions(+), 7 deletions(-)

(limited to 'math/logic.page')

diff --git a/math/logic.page b/math/logic.page
index 65ceba9..9d71823 100644
--- a/math/logic.page
+++ b/math/logic.page
@@ -1,14 +1,16 @@
-=======================
-Mathematical Logic
-=======================
+---
+format: markdown
+categories: math
+toc: no
+...
 
-.. note::
-    Incomplete; in progress
+# Mathematical Logic
+
+*Note: Incomplete; in progress*
 
 definition of induction: meserev 1-4
 
-Proofs
-===========
+## Proofs
 
 Indirect Proof: "reductio ad absurdum"
     Show a paradox or impossibility in all cases by assuming the proposition 
-- 
cgit v1.2.3