From 4707e6abe9661887087816f81c6adab1a38e61ac Mon Sep 17 00:00:00 2001 From: bnewbold Date: Sun, 24 Jan 2010 08:24:08 +0000 Subject: more simple --- math/logic.page | 13 ++++--------- 1 file changed, 4 insertions(+), 9 deletions(-) (limited to 'math/logic.page') 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. -- cgit v1.2.3