User:Addemf/sandbox/Scientific Reasoning for Non-scientists


 * Examples of Logical Problems
 * A Precis on Sets
 * SymPy Exercises for Sets
 * Some Axioms of Geometry
 * A Case-study in Logical Abstraction
 * Propositional Expressions, Syntax and Semantics
 * Propositional Logic, Python Exercises
 * Propositional Entailment
 * Propositional Entailment, Python Exercises
 * First-order Expressions, Syntax and Semantics
 * FO Expressions, Python Exercises
 * First-order Entailment
 * FO Entailment, Python Exercises


 * Introduction to Mathematical Proof
 * Direct Proof, Cases, Construction
 * Disproof and Counter-examples
 * Contraposition and Contradiction
 * Proof by Induction
 * Combinatorial Proof
 * The Pigeonhole Principle


 * The Real Number Axioms
 * Limits, Natural Numbers, and the LUB


 * Set Theory Axioms
 * Sets, Functions, Relations
 * Cardinality