Math
This table of contents references mathematical content as it related to punctilious.
The rationale is to keep clearly distinct but cross referenced mathematical and pythonic content.
Table of contents
- Concepts
- alpha-equivalence
- atomic-formula
- axiom
- axiomatic-method
- bound-variable
- compound-formula
- definition
- elimination-rule
- formula
- formula-statement
- free-variable
- hypothesis
- inference-rule
- inferred-statement
- introduction-rule
- is-a
- meta-object
- notation-form
- object
- object-creation
- object-declaration
- object-inclusion
- paragraph-proof
- connective
- statement
- theory-derivation
- validity-of-formula
- variable
- universe-of-discourse
- Inference rules
- absorption
- axiom-interpretation
- biconditional-elimination-1
- biconditional-elimination-2
- biconditional-introduction
- conjunction-elimination-1
- conjunction-elimination-2
- conjunction-introduction
- constructive-dilemma
- definition-interpretation
- destructive-dilemma
- disjunction-introduction-1
- disjunction-introduction-2
- disjunctive-resolution
- disjunctive-syllogism-1
- disjunctive-syllogism-2
- double-negation-elimination
- double-negation-introduction
- equal-terms-substitution
- equality-commutativity
- hypothetical-syllogism
- inconsistency-introduction-1
- inconsistency-introduction-2
- inconsistency-introduction-3
- modus-ponens
- modus-tollens
- proof-by-contradiction-1
- proof-by-contradiction-2
- proof-by-refutation-1
- proof-by-refutation-2
- variable-substitution
- Theories