diff options
| author | bnewbold <bnewbold@robocracy.org> | 2010-01-24 08:24:08 +0000 |
|---|---|---|
| committer | User <bnewbold@daemon.robocracy.org> | 2010-01-24 08:24:08 +0000 |
| commit | 4707e6abe9661887087816f81c6adab1a38e61ac (patch) | |
| tree | 2950cc73e3419d062be50fdd1063deafb71721ec | |
| parent | ab8b60e77216a62216ac0841716a9c3f4f781df0 (diff) | |
| download | knowledge-4707e6abe9661887087816f81c6adab1a38e61ac.tar.gz knowledge-4707e6abe9661887087816f81c6adab1a38e61ac.zip | |
more simple
| -rw-r--r-- | math/logic.page | 13 |
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. |