diff options
| -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. |