diff options
Diffstat (limited to 'math/logic.page')
| -rw-r--r-- | math/logic.page | 16 |
1 files changed, 9 insertions, 7 deletions
diff --git a/math/logic.page b/math/logic.page index 65ceba9..9d71823 100644 --- a/math/logic.page +++ b/math/logic.page @@ -1,14 +1,16 @@ -======================= -Mathematical Logic -======================= +--- +format: markdown +categories: math +toc: no +... -.. note:: - Incomplete; in progress +# Mathematical Logic + +*Note: Incomplete; in progress* definition of induction: meserev 1-4 -Proofs -=========== +## Proofs Indirect Proof: "reductio ad absurdum" Show a paradox or impossibility in all cases by assuming the proposition |