diff options
| author | bnewbold <bnewbold@ziggy.(none)> | 2010-01-24 03:39:25 -0500 |
|---|---|---|
| committer | bnewbold <bnewbold@ziggy.(none)> | 2010-01-24 03:39:25 -0500 |
| commit | a290d583ca3c4dfc39115068f209d64449c93a03 (patch) | |
| tree | 558d8a8905d076295c17cbc013efde39a76fe259 /math/logic.page | |
| parent | 88763d7db3f803b9e5b6351e01c186a98e50bbf2 (diff) | |
| download | knowledge-a290d583ca3c4dfc39115068f209d64449c93a03.tar.gz knowledge-a290d583ca3c4dfc39115068f209d64449c93a03.zip | |
math fixes
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 |