summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--math/logic.page13
1 files changed, 4 insertions, 9 deletions
diff --git a/math/logic.page b/math/logic.page
index 9d71823..bb3b1bd 100644
--- a/math/logic.page
+++ b/math/logic.page
@@ -1,10 +1,5 @@
----
-format: markdown
-categories: math
-toc: no
-...
-
-# Mathematical Logic
+Mathematical Logic
+------------------
*Note: Incomplete; in progress*
@@ -13,8 +8,8 @@ definition of induction: meserev 1-4
## Proofs
Indirect Proof: "reductio ad absurdum"
- Show a paradox or impossibility in all cases by assuming the proposition
+: 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.
+: Propose a complete set of propositions and remove all but one.