summaryrefslogtreecommitdiffstats log msg author committer range
path: root/math/logic.page
diff options
 context: 12345678910152025303540 space: includeignore mode: unifiedssdiffstat only
author committer bnewbold 2010-01-24 08:24:08 +0000 User 2010-01-24 08:24:08 +0000 4707e6abe9661887087816f81c6adab1a38e61ac (patch) 2950cc73e3419d062be50fdd1063deafb71721ec /math/logic.page ab8b60e77216a62216ac0841716a9c3f4f781df0 (diff) knowledge-4707e6abe9661887087816f81c6adab1a38e61ac.tar.gzknowledge-4707e6abe9661887087816f81c6adab1a38e61ac.zip
more simple
Diffstat (limited to 'math/logic.page')
-rw-r--r--math/logic.page13
1 files changed, 4 insertions, 9 deletions
 diff --git a/math/logic.page b/math/logic.pageindex 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.