summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorbnewbold <bnewbold@robocracy.org>2010-01-24 08:24:08 +0000
committerUser <bnewbold@daemon.robocracy.org>2010-01-24 08:24:08 +0000
commit4707e6abe9661887087816f81c6adab1a38e61ac (patch)
tree2950cc73e3419d062be50fdd1063deafb71721ec
parentab8b60e77216a62216ac0841716a9c3f4f781df0 (diff)
downloadknowledge-4707e6abe9661887087816f81c6adab1a38e61ac.tar.gz
knowledge-4707e6abe9661887087816f81c6adab1a38e61ac.zip
more simple
-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.