Merge pull request #214 from daviddoret/dev

documentation #195
daviddoret · Sep 22, 2023 · 7a8a6af · 7a8a6af
2 parents 33c23b1 + 8e1b13f
commit 7a8a6af
Show file tree

Hide file tree

Showing 342 changed files with 5,436 additions and 9,444 deletions.
diff --git a/.idea/2023_05_02_PyCharmProject_Maths.iml b/.idea/2023_05_02_PyCharmProject_Maths.iml
diff --git a/.idea/misc.xml b/.idea/misc.xml
diff --git a/.idea/workspace.xml b/.idea/workspace.xml
diff --git a/docs/build/.buildinfo b/docs/build/.buildinfo
@@ -1,4 +1,4 @@
 # Sphinx build info version 1
 # This file hashes the configuration used when building these files. When it is not found, a full rebuild will be done.
-config: 6c73ab850cba538aa85362694c74af3e
+config: ad1811cf58ee36b38b65491ec3f2167e
 tags: 645f666f9bcd5a90fca523b33c5a78b7
diff --git a/docs/build/.doctrees/_tags/absorption.doctree b/docs/build/.doctrees/_tags/absorption.doctree
diff --git a/docs/build/.doctrees/_tags/biconditional-elimination-1.doctree b/docs/build/.doctrees/_tags/biconditional-elimination-1.doctree
diff --git a/docs/build/.doctrees/_tags/biconditional-elimination-2.doctree b/docs/build/.doctrees/_tags/biconditional-elimination-2.doctree
diff --git a/docs/build/.doctrees/_tags/biconditional-introduction.doctree b/docs/build/.doctrees/_tags/biconditional-introduction.doctree
diff --git a/docs/build/.doctrees/_tags/class.doctree b/docs/build/.doctrees/_tags/class.doctree
diff --git a/docs/build/.doctrees/_tags/collection.doctree b/docs/build/.doctrees/_tags/collection.doctree
diff --git a/docs/build/.doctrees/_tags/concept.doctree b/docs/build/.doctrees/_tags/concept.doctree
diff --git a/docs/build/.doctrees/_tags/conjunction-elimination-1.doctree b/docs/build/.doctrees/_tags/conjunction-elimination-1.doctree
diff --git a/docs/build/.doctrees/_tags/conjunction-elimination-2.doctree b/docs/build/.doctrees/_tags/conjunction-elimination-2.doctree
diff --git a/docs/build/.doctrees/_tags/conjunction-introduction.doctree b/docs/build/.doctrees/_tags/conjunction-introduction.doctree
diff --git a/docs/build/.doctrees/_tags/declaration.doctree b/docs/build/.doctrees/_tags/declaration.doctree
diff --git a/docs/build/.doctrees/_tags/disjunction-introduction-1.doctree b/docs/build/.doctrees/_tags/disjunction-introduction-1.doctree
diff --git a/docs/build/.doctrees/_tags/disjunction-introduction-2.doctree b/docs/build/.doctrees/_tags/disjunction-introduction-2.doctree
diff --git a/docs/build/.doctrees/_tags/double-negation-elimination.doctree b/docs/build/.doctrees/_tags/double-negation-elimination.doctree
diff --git a/docs/build/.doctrees/_tags/double-negation-introduction.doctree b/docs/build/.doctrees/_tags/double-negation-introduction.doctree
diff --git a/docs/build/.doctrees/_tags/equal-terms-substitution.doctree b/docs/build/.doctrees/_tags/equal-terms-substitution.doctree
diff --git a/docs/build/.doctrees/_tags/equality-commutativity.doctree b/docs/build/.doctrees/_tags/equality-commutativity.doctree
diff --git a/docs/build/.doctrees/_tags/inclusion.doctree b/docs/build/.doctrees/_tags/inclusion.doctree
diff --git a/docs/build/.doctrees/_tags/inconsistency-introduction-1.doctree b/docs/build/.doctrees/_tags/inconsistency-introduction-1.doctree
diff --git a/docs/build/.doctrees/_tags/inconsistency-introduction-2.doctree b/docs/build/.doctrees/_tags/inconsistency-introduction-2.doctree
diff --git a/docs/build/.doctrees/_tags/inconsistency-introduction-3.doctree b/docs/build/.doctrees/_tags/inconsistency-introduction-3.doctree
diff --git a/docs/build/.doctrees/_tags/inference-rule.doctree b/docs/build/.doctrees/_tags/inference-rule.doctree
diff --git a/docs/build/.doctrees/_tags/math.doctree b/docs/build/.doctrees/_tags/math.doctree
diff --git a/docs/build/.doctrees/_tags/modus-ponens.doctree b/docs/build/.doctrees/_tags/modus-ponens.doctree
diff --git a/docs/build/.doctrees/_tags/proof-by-contradiction-1.doctree b/docs/build/.doctrees/_tags/proof-by-contradiction-1.doctree
diff --git a/docs/build/.doctrees/_tags/proof-by-contradiction-2.doctree b/docs/build/.doctrees/_tags/proof-by-contradiction-2.doctree
diff --git a/docs/build/.doctrees/_tags/proof-by-refutation-1.doctree b/docs/build/.doctrees/_tags/proof-by-refutation-1.doctree
diff --git a/docs/build/.doctrees/_tags/proof-by-refutation-2.doctree b/docs/build/.doctrees/_tags/proof-by-refutation-2.doctree
diff --git a/docs/build/.doctrees/_tags/python.doctree b/docs/build/.doctrees/_tags/python.doctree
diff --git a/docs/build/.doctrees/_tags/sample.doctree b/docs/build/.doctrees/_tags/sample.doctree
diff --git a/docs/build/.doctrees/_tags/tagsindex.doctree b/docs/build/.doctrees/_tags/tagsindex.doctree
diff --git a/docs/build/.doctrees/_tags/universe-of-discourse.doctree b/docs/build/.doctrees/_tags/universe-of-discourse.doctree
diff --git a/docs/build/.doctrees/_tags/variable-substitution.doctree b/docs/build/.doctrees/_tags/variable-substitution.doctree
diff --git a/docs/build/.doctrees/back_matter.doctree b/docs/build/.doctrees/back_matter.doctree
diff --git a/docs/build/.doctrees/back_matter/bibliography_back_matter.doctree b/docs/build/.doctrees/back_matter/bibliography_back_matter.doctree
diff --git a/docs/build/.doctrees/environment.pickle b/docs/build/.doctrees/environment.pickle
diff --git a/docs/build/.doctrees/front_matter.doctree b/docs/build/.doctrees/front_matter.doctree
diff --git a/docs/build/.doctrees/front_matter/about_front_matter.doctree b/docs/build/.doctrees/front_matter/about_front_matter.doctree
diff --git a/docs/build/.doctrees/front_matter/contributing_front_matter.doctree b/docs/build/.doctrees/front_matter/contributing_front_matter.doctree
diff --git a/docs/build/.doctrees/front_matter/project_front_matter.doctree b/docs/build/.doctrees/front_matter/project_front_matter.doctree
diff --git a/docs/build/.doctrees/front_matter/roadmap_front_matter.doctree b/docs/build/.doctrees/front_matter/roadmap_front_matter.doctree
diff --git a/docs/build/.doctrees/front_matter/support_front_matter.doctree b/docs/build/.doctrees/front_matter/support_front_matter.doctree
diff --git a/docs/build/.doctrees/front_matter/title_front_matter.doctree b/docs/build/.doctrees/front_matter/title_front_matter.doctree
diff --git a/docs/build/.doctrees/index.doctree b/docs/build/.doctrees/index.doctree
diff --git a/docs/build/.doctrees/math.doctree b/docs/build/.doctrees/math.doctree
diff --git a/docs/build/.doctrees/math/concept/axiom_math_concept.doctree b/docs/build/.doctrees/math/concept/axiom_math_concept.doctree
diff --git a/docs/build/.doctrees/math/concept/elimination_rule_math_concept.doctree b/docs/build/.doctrees/math/concept/elimination_rule_math_concept.doctree
diff --git a/docs/build/.doctrees/math/concept/formula_math_concept.doctree b/docs/build/.doctrees/math/concept/formula_math_concept.doctree
diff --git a/docs/build/.doctrees/math/concept/formula_statement_math_concept.doctree b/docs/build/.doctrees/math/concept/formula_statement_math_concept.doctree
diff --git a/docs/build/.doctrees/math/concept/free_variable_math_concept.doctree b/docs/build/.doctrees/math/concept/free_variable_math_concept.doctree
diff --git a/docs/build/.doctrees/math/concept/hypothesis_math_concept.doctree b/docs/build/.doctrees/math/concept/hypothesis_math_concept.doctree
diff --git a/docs/build/.doctrees/math/concept/inference_rule_math_concept.doctree b/docs/build/.doctrees/math/concept/inference_rule_math_concept.doctree
diff --git a/docs/build/.doctrees/math/concept/introduction_rule_math_concept.doctree b/docs/build/.doctrees/math/concept/introduction_rule_math_concept.doctree
diff --git a/docs/build/.doctrees/math/concept/is_a_math_concept.doctree b/docs/build/.doctrees/math/concept/is_a_math_concept.doctree
diff --git a/docs/build/.doctrees/math/concept/meta_object_math_concept.doctree b/docs/build/.doctrees/math/concept/meta_object_math_concept.doctree
diff --git a/docs/build/.doctrees/math/concept/notation_form_math_concept.doctree b/docs/build/.doctrees/math/concept/notation_form_math_concept.doctree
diff --git a/docs/build/.doctrees/math/concept/object_creation_math_concept.doctree b/docs/build/.doctrees/math/concept/object_creation_math_concept.doctree
diff --git a/docs/build/.doctrees/math/concept/object_declaration_math_concept.doctree b/docs/build/.doctrees/math/concept/object_declaration_math_concept.doctree
diff --git a/docs/build/.doctrees/math/concept/object_inclusion_math_concept.doctree b/docs/build/.doctrees/math/concept/object_inclusion_math_concept.doctree
diff --git a/docs/build/.doctrees/math/concept/object_math_concept.doctree b/docs/build/.doctrees/math/concept/object_math_concept.doctree
diff --git a/docs/build/.doctrees/math/concept/paragraph_proof_math_concept.doctree b/docs/build/.doctrees/math/concept/paragraph_proof_math_concept.doctree
diff --git a/docs/build/.doctrees/math/concept/relation_math_concept.doctree b/docs/build/.doctrees/math/concept/relation_math_concept.doctree
diff --git a/docs/build/.doctrees/math/concept/statement_math_concept.doctree b/docs/build/.doctrees/math/concept/statement_math_concept.doctree
diff --git a/docs/build/.doctrees/math/concept/theory_elaboration_sequence_math_concept.doctree b/docs/build/.doctrees/math/concept/theory_elaboration_sequence_math_concept.doctree
diff --git a/docs/build/.doctrees/math/concept/universe_of_discourse_math_concept.doctree b/docs/build/.doctrees/math/concept/universe_of_discourse_math_concept.doctree
diff --git a/docs/build/.doctrees/math/concept/validity_of_formula_math_concept.doctree b/docs/build/.doctrees/math/concept/validity_of_formula_math_concept.doctree
diff --git a/docs/build/.doctrees/math/inference_rule/absorption_math_inference_rule.doctree b/docs/build/.doctrees/math/inference_rule/absorption_math_inference_rule.doctree
diff --git a/...ild/.doctrees/math/inference_rule/biconditional_elimination_1_math_inference_rule.doctree b/...ild/.doctrees/math/inference_rule/biconditional_elimination_1_math_inference_rule.doctree
diff --git a/...ild/.doctrees/math/inference_rule/biconditional_elimination_2_math_inference_rule.doctree b/...ild/.doctrees/math/inference_rule/biconditional_elimination_2_math_inference_rule.doctree
diff --git a/...uild/.doctrees/math/inference_rule/biconditional_introduction_math_inference_rule.doctree b/...uild/.doctrees/math/inference_rule/biconditional_introduction_math_inference_rule.doctree
diff --git a/...build/.doctrees/math/inference_rule/conjunction_elimination_1_math_inference_rule.doctree b/...build/.doctrees/math/inference_rule/conjunction_elimination_1_math_inference_rule.doctree
diff --git a/...build/.doctrees/math/inference_rule/conjunction_elimination_2_math_inference_rule.doctree b/...build/.doctrees/math/inference_rule/conjunction_elimination_2_math_inference_rule.doctree
diff --git a/.../build/.doctrees/math/inference_rule/conjunction_introduction_math_inference_rule.doctree b/.../build/.doctrees/math/inference_rule/conjunction_introduction_math_inference_rule.doctree
diff --git a/...uild/.doctrees/math/inference_rule/disjunction_introduction_1_math_inference_rule.doctree b/...uild/.doctrees/math/inference_rule/disjunction_introduction_1_math_inference_rule.doctree
diff --git a/...uild/.doctrees/math/inference_rule/disjunction_introduction_2_math_inference_rule.doctree b/...uild/.doctrees/math/inference_rule/disjunction_introduction_2_math_inference_rule.doctree
diff --git a/...ild/.doctrees/math/inference_rule/double_negation_elimination_math_inference_rule.doctree b/...ild/.doctrees/math/inference_rule/double_negation_elimination_math_inference_rule.doctree
diff --git a/...ld/.doctrees/math/inference_rule/double_negation_introduction_math_inference_rule.doctree b/...ld/.doctrees/math/inference_rule/double_negation_introduction_math_inference_rule.doctree
diff --git a/.../build/.doctrees/math/inference_rule/equal_terms_substitution_math_inference_rule.doctree b/.../build/.doctrees/math/inference_rule/equal_terms_substitution_math_inference_rule.doctree
diff --git a/docs/build/.doctrees/math/inference_rule/equality_commutativity_math_inference_rule.doctree b/docs/build/.doctrees/math/inference_rule/equality_commutativity_math_inference_rule.doctree
diff --git a/...ld/.doctrees/math/inference_rule/inconsistency_introduction_1_math_inference_rule.doctree b/...ld/.doctrees/math/inference_rule/inconsistency_introduction_1_math_inference_rule.doctree
diff --git a/...ld/.doctrees/math/inference_rule/inconsistency_introduction_2_math_inference_rule.doctree b/...ld/.doctrees/math/inference_rule/inconsistency_introduction_2_math_inference_rule.doctree
diff --git a/...ld/.doctrees/math/inference_rule/inconsistency_introduction_3_math_inference_rule.doctree b/...ld/.doctrees/math/inference_rule/inconsistency_introduction_3_math_inference_rule.doctree
diff --git a/docs/build/.doctrees/math/inference_rule/modus_ponens_math_inference_rule.doctree b/docs/build/.doctrees/math/inference_rule/modus_ponens_math_inference_rule.doctree
diff --git a/.../build/.doctrees/math/inference_rule/proof_by_contradiction_1_math_inference_rule.doctree b/.../build/.doctrees/math/inference_rule/proof_by_contradiction_1_math_inference_rule.doctree
diff --git a/.../build/.doctrees/math/inference_rule/proof_by_contradiction_2_math_inference_rule.doctree b/.../build/.doctrees/math/inference_rule/proof_by_contradiction_2_math_inference_rule.doctree
diff --git a/docs/build/.doctrees/math/inference_rule/proof_by_refutation_1_math_inference_rule.doctree b/docs/build/.doctrees/math/inference_rule/proof_by_refutation_1_math_inference_rule.doctree
diff --git a/docs/build/.doctrees/math/inference_rule/proof_by_refutation_2_math_inference_rule.doctree b/docs/build/.doctrees/math/inference_rule/proof_by_refutation_2_math_inference_rule.doctree
diff --git a/docs/build/.doctrees/math/inference_rule/variable_substitution_math_inference_rule.doctree b/docs/build/.doctrees/math/inference_rule/variable_substitution_math_inference_rule.doctree
diff --git a/docs/build/.doctrees/math/theory/tao_2006.doctree b/docs/build/.doctrees/math/theory/tao_2006.doctree
diff --git a/docs/build/.doctrees/math/theory/tao_2006/the_peano_axioms.doctree b/docs/build/.doctrees/math/theory/tao_2006/the_peano_axioms.doctree
diff --git a/docs/build/.doctrees/math_concept.doctree b/docs/build/.doctrees/math_concept.doctree
diff --git a/docs/build/.doctrees/math_inference_rule.doctree b/docs/build/.doctrees/math_inference_rule.doctree
diff --git a/docs/build/.doctrees/math_theory.doctree b/docs/build/.doctrees/math_theory.doctree
diff --git a/docs/build/.doctrees/python.doctree b/docs/build/.doctrees/python.doctree
diff --git a/docs/build/.doctrees/python/class/absorption_declaration_python_class.doctree b/docs/build/.doctrees/python/class/absorption_declaration_python_class.doctree
diff --git a/docs/build/.doctrees/python/class/absorption_inclusion_python_class.doctree b/docs/build/.doctrees/python/class/absorption_inclusion_python_class.doctree
diff --git a/...build/.doctrees/python/class/biconditional_elimination_1_declaration_python_class.doctree b/...build/.doctrees/python/class/biconditional_elimination_1_declaration_python_class.doctree
diff --git a/docs/build/.doctrees/python/class/biconditional_elimination_1_inclusion_python_class.doctree b/docs/build/.doctrees/python/class/biconditional_elimination_1_inclusion_python_class.doctree
diff --git a/...build/.doctrees/python/class/biconditional_elimination_2_declaration_python_class.doctree b/...build/.doctrees/python/class/biconditional_elimination_2_declaration_python_class.doctree
diff --git a/docs/build/.doctrees/python/class/biconditional_elimination_2_inclusion_python_class.doctree b/docs/build/.doctrees/python/class/biconditional_elimination_2_inclusion_python_class.doctree
diff --git a/.../build/.doctrees/python/class/biconditional_introduction_declaration_python_class.doctree b/.../build/.doctrees/python/class/biconditional_introduction_declaration_python_class.doctree
diff --git a/docs/build/.doctrees/python/class/biconditional_introduction_inclusion_python_class.doctree b/docs/build/.doctrees/python/class/biconditional_introduction_inclusion_python_class.doctree
diff --git a/docs/build/.doctrees/python/class/conjunction_elimination_1_declaration_python_class.doctree b/docs/build/.doctrees/python/class/conjunction_elimination_1_declaration_python_class.doctree
diff --git a/docs/build/.doctrees/python/class/conjunction_elimination_1_inclusion_python_class.doctree b/docs/build/.doctrees/python/class/conjunction_elimination_1_inclusion_python_class.doctree
diff --git a/docs/build/.doctrees/python/class/conjunction_elimination_2_declaration_python_class.doctree b/docs/build/.doctrees/python/class/conjunction_elimination_2_declaration_python_class.doctree
diff --git a/docs/build/.doctrees/python/class/conjunction_elimination_2_inclusion_python_class.doctree b/docs/build/.doctrees/python/class/conjunction_elimination_2_inclusion_python_class.doctree
diff --git a/docs/build/.doctrees/python/class/conjunction_introduction_declaration_python_class.doctree b/docs/build/.doctrees/python/class/conjunction_introduction_declaration_python_class.doctree
diff --git a/docs/build/.doctrees/python/class/conjunction_introduction_inclusion_python_class.doctree b/docs/build/.doctrees/python/class/conjunction_introduction_inclusion_python_class.doctree
diff --git a/.../build/.doctrees/python/class/disjunction_introduction_1_declaration_python_class.doctree b/.../build/.doctrees/python/class/disjunction_introduction_1_declaration_python_class.doctree
diff --git a/docs/build/.doctrees/python/class/disjunction_introduction_1_inclusion_python_class.doctree b/docs/build/.doctrees/python/class/disjunction_introduction_1_inclusion_python_class.doctree
diff --git a/.../build/.doctrees/python/class/disjunction_introduction_2_declaration_python_class.doctree b/.../build/.doctrees/python/class/disjunction_introduction_2_declaration_python_class.doctree
diff --git a/docs/build/.doctrees/python/class/disjunction_introduction_2_inclusion_python_class.doctree b/docs/build/.doctrees/python/class/disjunction_introduction_2_inclusion_python_class.doctree
diff --git a/...build/.doctrees/python/class/double_negation_elimination_declaration_python_class.doctree b/...build/.doctrees/python/class/double_negation_elimination_declaration_python_class.doctree
diff --git a/docs/build/.doctrees/python/class/double_negation_elimination_inclusion_python_class.doctree b/docs/build/.doctrees/python/class/double_negation_elimination_inclusion_python_class.doctree
diff --git a/...uild/.doctrees/python/class/double_negation_introduction_declaration_python_class.doctree b/...uild/.doctrees/python/class/double_negation_introduction_declaration_python_class.doctree
diff --git a/.../build/.doctrees/python/class/double_negation_introduction_inclusion_python_class.doctree b/.../build/.doctrees/python/class/double_negation_introduction_inclusion_python_class.doctree
diff --git a/docs/build/.doctrees/python/class/equal_terms_substitution_declaration_python_class.doctree b/docs/build/.doctrees/python/class/equal_terms_substitution_declaration_python_class.doctree
diff --git a/docs/build/.doctrees/python/class/equal_terms_substitution_inclusion_python_class.doctree b/docs/build/.doctrees/python/class/equal_terms_substitution_inclusion_python_class.doctree
diff --git a/docs/build/.doctrees/python/class/equality_commutativity_declaration_python_class.doctree b/docs/build/.doctrees/python/class/equality_commutativity_declaration_python_class.doctree
diff --git a/docs/build/.doctrees/python/class/equality_commutativity_inclusion_python_class.doctree b/docs/build/.doctrees/python/class/equality_commutativity_inclusion_python_class.doctree
diff --git a/...uild/.doctrees/python/class/inconsistency_introduction_1_declaration_python_class.doctree b/...uild/.doctrees/python/class/inconsistency_introduction_1_declaration_python_class.doctree
diff --git a/.../build/.doctrees/python/class/inconsistency_introduction_1_inclusion_python_class.doctree b/.../build/.doctrees/python/class/inconsistency_introduction_1_inclusion_python_class.doctree
diff --git a/...uild/.doctrees/python/class/inconsistency_introduction_2_declaration_python_class.doctree b/...uild/.doctrees/python/class/inconsistency_introduction_2_declaration_python_class.doctree
diff --git a/.../build/.doctrees/python/class/inconsistency_introduction_2_inclusion_python_class.doctree b/.../build/.doctrees/python/class/inconsistency_introduction_2_inclusion_python_class.doctree
diff --git a/...uild/.doctrees/python/class/inconsistency_introduction_3_declaration_python_class.doctree b/...uild/.doctrees/python/class/inconsistency_introduction_3_declaration_python_class.doctree
diff --git a/.../build/.doctrees/python/class/inconsistency_introduction_3_inclusion_python_class.doctree b/.../build/.doctrees/python/class/inconsistency_introduction_3_inclusion_python_class.doctree
diff --git a/docs/build/.doctrees/python/class/inference_rule_declaration_collection_python_class.doctree b/docs/build/.doctrees/python/class/inference_rule_declaration_collection_python_class.doctree
diff --git a/docs/build/.doctrees/python/class/inference_rule_declaration_python_class.doctree b/docs/build/.doctrees/python/class/inference_rule_declaration_python_class.doctree
diff --git a/docs/build/.doctrees/python/class/inference_rule_inclusion_collection_python_class.doctree b/docs/build/.doctrees/python/class/inference_rule_inclusion_collection_python_class.doctree
diff --git a/docs/build/.doctrees/python/class/inference_rule_inclusion_python_class.doctree b/docs/build/.doctrees/python/class/inference_rule_inclusion_python_class.doctree
diff --git a/docs/build/.doctrees/python/class/modus_ponens_declaration_python_class.doctree b/docs/build/.doctrees/python/class/modus_ponens_declaration_python_class.doctree
diff --git a/docs/build/.doctrees/python/class/modus_ponens_inclusion_python_class.doctree b/docs/build/.doctrees/python/class/modus_ponens_inclusion_python_class.doctree
diff --git a/docs/build/.doctrees/python/class/proof_by_contradiction_1_declaration_python_class.doctree b/docs/build/.doctrees/python/class/proof_by_contradiction_1_declaration_python_class.doctree
diff --git a/docs/build/.doctrees/python/class/proof_by_contradiction_1_inclusion_python_class.doctree b/docs/build/.doctrees/python/class/proof_by_contradiction_1_inclusion_python_class.doctree
diff --git a/docs/build/.doctrees/python/class/proof_by_contradiction_2_declaration_python_class.doctree b/docs/build/.doctrees/python/class/proof_by_contradiction_2_declaration_python_class.doctree
diff --git a/docs/build/.doctrees/python/class/proof_by_contradiction_2_inclusion_python_class.doctree b/docs/build/.doctrees/python/class/proof_by_contradiction_2_inclusion_python_class.doctree
diff --git a/docs/build/.doctrees/python/class/proof_by_refutation_1_declaration_python_class.doctree b/docs/build/.doctrees/python/class/proof_by_refutation_1_declaration_python_class.doctree
diff --git a/docs/build/.doctrees/python/class/proof_by_refutation_1_inclusion_python_class.doctree b/docs/build/.doctrees/python/class/proof_by_refutation_1_inclusion_python_class.doctree
diff --git a/docs/build/.doctrees/python/class/proof_by_refutation_2_declaration_python_class.doctree b/docs/build/.doctrees/python/class/proof_by_refutation_2_declaration_python_class.doctree
diff --git a/docs/build/.doctrees/python/class/proof_by_refutation_2_inclusion_python_class.doctree b/docs/build/.doctrees/python/class/proof_by_refutation_2_inclusion_python_class.doctree
diff --git a/docs/build/.doctrees/python/class/python_class_index.doctree b/docs/build/.doctrees/python/class/python_class_index.doctree
diff --git a/docs/build/.doctrees/python/class/universe_of_discourse_python_class.doctree b/docs/build/.doctrees/python/class/universe_of_discourse_python_class.doctree
diff --git a/docs/build/.doctrees/python/class/variable_substitution_declaration_python_class.doctree b/docs/build/.doctrees/python/class/variable_substitution_declaration_python_class.doctree
diff --git a/docs/build/.doctrees/python/class/variable_substitution_inclusion_python_class.doctree b/docs/build/.doctrees/python/class/variable_substitution_inclusion_python_class.doctree
diff --git a/docs/build/.doctrees/python/function/create_universe_of_discourse.doctree b/docs/build/.doctrees/python/function/create_universe_of_discourse.doctree
diff --git a/docs/build/.doctrees/python/function/python_function_index.doctree b/docs/build/.doctrees/python/function/python_function_index.doctree
diff --git a/docs/build/.doctrees/python/installation_python.doctree b/docs/build/.doctrees/python/installation_python.doctree
diff --git a/docs/build/.doctrees/python/prerequisites_python.doctree b/docs/build/.doctrees/python/prerequisites_python.doctree
diff --git a/docs/build/.doctrees/python/sample/absorption_python_sample.doctree b/docs/build/.doctrees/python/sample/absorption_python_sample.doctree
diff --git a/docs/build/.doctrees/python/sample/biconditional_elimination_1_python_sample.doctree b/docs/build/.doctrees/python/sample/biconditional_elimination_1_python_sample.doctree
diff --git a/docs/build/.doctrees/python/sample/biconditional_elimination_2_python_sample.doctree b/docs/build/.doctrees/python/sample/biconditional_elimination_2_python_sample.doctree
diff --git a/docs/build/.doctrees/python/sample/biconditional_introduction_python_sample.doctree b/docs/build/.doctrees/python/sample/biconditional_introduction_python_sample.doctree
diff --git a/docs/build/.doctrees/python/sample/conjunction_elimination_1_python_sample.doctree b/docs/build/.doctrees/python/sample/conjunction_elimination_1_python_sample.doctree
diff --git a/docs/build/.doctrees/python/sample/conjunction_elimination_2_python_sample.doctree b/docs/build/.doctrees/python/sample/conjunction_elimination_2_python_sample.doctree
diff --git a/docs/build/.doctrees/python/sample/conjunction_introduction_python_sample.doctree b/docs/build/.doctrees/python/sample/conjunction_introduction_python_sample.doctree
diff --git a/docs/build/.doctrees/python/sample/disjunction_introduction_1_python_sample.doctree b/docs/build/.doctrees/python/sample/disjunction_introduction_1_python_sample.doctree
diff --git a/docs/build/.doctrees/python/sample/disjunction_introduction_2_python_sample.doctree b/docs/build/.doctrees/python/sample/disjunction_introduction_2_python_sample.doctree
diff --git a/docs/build/.doctrees/python/sample/double_negation_elimination_python_sample.doctree b/docs/build/.doctrees/python/sample/double_negation_elimination_python_sample.doctree
diff --git a/docs/build/.doctrees/python/sample/double_negation_introduction_python_sample.doctree b/docs/build/.doctrees/python/sample/double_negation_introduction_python_sample.doctree
diff --git a/docs/build/.doctrees/python/sample/equal_terms_substitution_python_sample.doctree b/docs/build/.doctrees/python/sample/equal_terms_substitution_python_sample.doctree
diff --git a/docs/build/.doctrees/python/sample/equality_commutativity_python_sample.doctree b/docs/build/.doctrees/python/sample/equality_commutativity_python_sample.doctree
diff --git a/docs/build/.doctrees/python/sample/inconsistency_introduction_1_python_sample.doctree b/docs/build/.doctrees/python/sample/inconsistency_introduction_1_python_sample.doctree
diff --git a/docs/build/.doctrees/python/sample/inconsistency_introduction_2_python_sample.doctree b/docs/build/.doctrees/python/sample/inconsistency_introduction_2_python_sample.doctree
diff --git a/docs/build/.doctrees/python/sample/inconsistency_introduction_3_python_sample.doctree b/docs/build/.doctrees/python/sample/inconsistency_introduction_3_python_sample.doctree
diff --git a/docs/build/.doctrees/python/sample/modus_ponens_python_sample.doctree b/docs/build/.doctrees/python/sample/modus_ponens_python_sample.doctree
diff --git a/docs/build/.doctrees/python/sample/proof_by_contradiction_1_python_sample.doctree b/docs/build/.doctrees/python/sample/proof_by_contradiction_1_python_sample.doctree
diff --git a/docs/build/.doctrees/python/sample/proof_by_contradiction_2_python_sample.doctree b/docs/build/.doctrees/python/sample/proof_by_contradiction_2_python_sample.doctree
diff --git a/docs/build/.doctrees/python/sample/proof_by_refutation_1_python_sample.doctree b/docs/build/.doctrees/python/sample/proof_by_refutation_1_python_sample.doctree
diff --git a/docs/build/.doctrees/python/sample/proof_by_refutation_2_python_sample.doctree b/docs/build/.doctrees/python/sample/proof_by_refutation_2_python_sample.doctree
diff --git a/docs/build/.doctrees/python/sample/python_sample_index.doctree b/docs/build/.doctrees/python/sample/python_sample_index.doctree
diff --git a/docs/build/.doctrees/python/sample/variable_substitution_python_sample.doctree b/docs/build/.doctrees/python/sample/variable_substitution_python_sample.doctree
diff --git a/docs/build/.doctrees/python/source_code_repository_python.doctree b/docs/build/.doctrees/python/source_code_repository_python.doctree
diff --git a/docs/build/_sources/_tags/class.rst.txt b/docs/build/_sources/_tags/class.rst.txt
@@ -37,7 +37,10 @@ My tags: class
     ../python/class/inconsistency_introduction_2_inclusion_python_class.rst
     ../python/class/inconsistency_introduction_3_declaration_python_class.rst
     ../python/class/inconsistency_introduction_3_inclusion_python_class.rst
+    ../python/class/inference_rule_declaration_collection_python_class.rst
     ../python/class/inference_rule_declaration_python_class.rst
+    ../python/class/inference_rule_inclusion_collection_python_class.rst
+    ../python/class/inference_rule_inclusion_python_class.rst
     ../python/class/modus_ponens_declaration_python_class.rst
     ../python/class/modus_ponens_inclusion_python_class.rst
     ../python/class/proof_by_contradiction_1_declaration_python_class.rst

diff --git a/docs/build/_sources/_tags/collection.rst.txt b/docs/build/_sources/_tags/collection.rst.txt
@@ -0,0 +1,9 @@
+My tags: collection
+###################
+
+.. toctree::
+    :maxdepth: 1
+    :caption: With this tag
+
+    ../python/class/inference_rule_declaration_collection_python_class.rst
+    ../python/class/inference_rule_inclusion_collection_python_class.rst
diff --git a/docs/build/_sources/_tags/declaration.rst.txt b/docs/build/_sources/_tags/declaration.rst.txt
@@ -21,6 +21,7 @@ My tags: declaration
     ../python/class/inconsistency_introduction_1_declaration_python_class.rst
     ../python/class/inconsistency_introduction_2_declaration_python_class.rst
     ../python/class/inconsistency_introduction_3_declaration_python_class.rst
+    ../python/class/inference_rule_declaration_collection_python_class.rst
     ../python/class/inference_rule_declaration_python_class.rst
     ../python/class/modus_ponens_declaration_python_class.rst
     ../python/class/proof_by_contradiction_1_declaration_python_class.rst

diff --git a/docs/build/_sources/_tags/inclusion.rst.txt b/docs/build/_sources/_tags/inclusion.rst.txt
@@ -21,6 +21,8 @@ My tags: inclusion
     ../python/class/inconsistency_introduction_1_inclusion_python_class.rst
     ../python/class/inconsistency_introduction_2_inclusion_python_class.rst
     ../python/class/inconsistency_introduction_3_inclusion_python_class.rst
+    ../python/class/inference_rule_inclusion_collection_python_class.rst
+    ../python/class/inference_rule_inclusion_python_class.rst
     ../python/class/modus_ponens_inclusion_python_class.rst
     ../python/class/proof_by_contradiction_1_inclusion_python_class.rst
     ../python/class/proof_by_contradiction_2_inclusion_python_class.rst

diff --git a/docs/build/_sources/_tags/inference-rule.rst.txt b/docs/build/_sources/_tags/inference-rule.rst.txt
@@ -28,4 +28,7 @@ My tags: inference-rule
     ../math/inference_rule/proof_by_refutation_1_math_inference_rule.rst
     ../math/inference_rule/proof_by_refutation_2_math_inference_rule.rst
     ../math/inference_rule/variable_substitution_math_inference_rule.rst
+    ../python/class/inference_rule_declaration_collection_python_class.rst
     ../python/class/inference_rule_declaration_python_class.rst
+    ../python/class/inference_rule_inclusion_collection_python_class.rst
+    ../python/class/inference_rule_inclusion_python_class.rst
diff --git a/docs/build/_sources/_tags/python.rst.txt b/docs/build/_sources/_tags/python.rst.txt
@@ -37,7 +37,10 @@ My tags: python
     ../python/class/inconsistency_introduction_2_inclusion_python_class.rst
     ../python/class/inconsistency_introduction_3_declaration_python_class.rst
     ../python/class/inconsistency_introduction_3_inclusion_python_class.rst
+    ../python/class/inference_rule_declaration_collection_python_class.rst
     ../python/class/inference_rule_declaration_python_class.rst
+    ../python/class/inference_rule_inclusion_collection_python_class.rst
+    ../python/class/inference_rule_inclusion_python_class.rst
     ../python/class/modus_ponens_declaration_python_class.rst
     ../python/class/modus_ponens_inclusion_python_class.rst
     ../python/class/proof_by_contradiction_1_declaration_python_class.rst

diff --git a/docs/build/_sources/_tags/tagsindex.rst.txt b/docs/build/_sources/_tags/tagsindex.rst.txt
@@ -13,30 +13,31 @@ Tags overview
     biconditional-elimination-1 (4) <biconditional-elimination-1.rst>
     biconditional-elimination-2 (4) <biconditional-elimination-2.rst>
     biconditional-introduction (4) <biconditional-introduction.rst>
-    class (46) <class.rst>
+    class (49) <class.rst>
+    collection (2) <collection.rst>
     concept (22) <concept.rst>
     conjunction-elimination-1 (4) <conjunction-elimination-1.rst>
     conjunction-elimination-2 (4) <conjunction-elimination-2.rst>
     conjunction-introduction (4) <conjunction-introduction.rst>
-    declaration (23) <declaration.rst>
+    declaration (24) <declaration.rst>
     disjunction-introduction-1 (4) <disjunction-introduction-1.rst>
     disjunction-introduction-2 (4) <disjunction-introduction-2.rst>
     double-negation-elimination (4) <double-negation-elimination.rst>
     double-negation-introduction (4) <double-negation-introduction.rst>
     equal-terms-substitution (4) <equal-terms-substitution.rst>
     equality-commutativity (4) <equality-commutativity.rst>
-    inclusion (22) <inclusion.rst>
+    inclusion (24) <inclusion.rst>
     inconsistency-introduction-1 (4) <inconsistency-introduction-1.rst>
     inconsistency-introduction-2 (4) <inconsistency-introduction-2.rst>
     inconsistency-introduction-3 (4) <inconsistency-introduction-3.rst>
-    inference-rule (24) <inference-rule.rst>
+    inference-rule (27) <inference-rule.rst>
     math (22) <math.rst>
     modus-ponens (4) <modus-ponens.rst>
     proof-by-contradiction-1 (4) <proof-by-contradiction-1.rst>
     proof-by-contradiction-2 (4) <proof-by-contradiction-2.rst>
     proof-by-refutation-1 (4) <proof-by-refutation-1.rst>
     proof-by-refutation-2 (4) <proof-by-refutation-2.rst>
-    python (68) <python.rst>
+    python (71) <python.rst>
     sample (22) <sample.rst>
     universe-of-discourse (1) <universe-of-discourse.rst>
     variable-substitution (4) <variable-substitution.rst>
diff --git a/...sources/python/class/inference_rule_declaration_collection_python_class.rst.txt b/...sources/python/class/inference_rule_declaration_collection_python_class.rst.txt
@@ -0,0 +1,14 @@
+.. _inference_rule_declaration_collection_python_class:
+
+.. role:: python(code)
+   :language: py
+
+.. tags:: inference-rule, declaration, class, python, collection
+
+InferenceRuleDeclarationCollection (python class)
+=======================================================
+
+.. module:: punctilious
+   :noindex:
+.. autoclass:: InferenceRuleDeclarationCollection
+   :members:
diff --git a/docs/build/_sources/python/class/inference_rule_declaration_python_class.rst.txt b/docs/build/_sources/python/class/inference_rule_declaration_python_class.rst.txt
@@ -5,10 +5,10 @@
 
 .. tags:: inference-rule, declaration, class, python
 
-InferenceRuleDeclarationDict (python class)
-==============================================
+InferenceRuleDeclaration (python class)
+=====================================================
 
 .. module:: punctilious
    :noindex:
-.. autoclass:: InferenceRuleDeclarationDict
+.. autoclass:: InferenceRuleDeclaration
    :members:
diff --git a/.../_sources/python/class/inference_rule_inclusion_collection_python_class.rst.txt b/.../_sources/python/class/inference_rule_inclusion_collection_python_class.rst.txt
@@ -0,0 +1,14 @@
+.. _inference_rule_inclusion_collection_python_class:
+
+.. role:: python(code)
+   :language: py
+
+.. tags:: inference-rule, inclusion, class, python, collection
+
+InferenceRuleInclusionCollection (python class)
+=====================================================
+
+.. module:: punctilious
+   :noindex:
+.. autoclass:: InferenceRuleInclusionCollection
+   :members:
diff --git a/docs/build/_sources/python/class/inference_rule_inclusion_python_class.rst.txt b/docs/build/_sources/python/class/inference_rule_inclusion_python_class.rst.txt
@@ -0,0 +1,14 @@
+.. _inference_rule_inclusion_python_class:
+
+.. role:: python(code)
+   :language: py
+
+.. tags:: inference-rule, inclusion, class, python
+
+InferenceRuleInclusion (python class)
+=====================================================
+
+.. module:: punctilious
+   :noindex:
+.. autoclass:: InferenceRuleInclusion
+   :members:
diff --git a/docs/build/_sources/python/class/python_class_index.rst.txt b/docs/build/_sources/python/class/python_class_index.rst.txt
@@ -38,6 +38,9 @@ Python classes
    inconsistency_introduction_3_declaration_python_class
    inconsistency_introduction_3_inclusion_python_class
    InferenceRuleDeclaration<inference_rule_declaration_python_class>
+   InferenceRuleDeclarationCollection<inference_rule_declaration_collection_python_class>
+   InferenceRuleInclusion<inference_rule_inclusion_python_class>
+   InferenceRuleInclusionCollection<inference_rule_inclusion_collection_python_class>
    modus_ponens_declaration_python_class
    modus_ponens_inclusion_python_class
    proof_by_contradiction_1_declaration_python_class

diff --git a/docs/build/_tags/class.html b/docs/build/_tags/class.html
@@ -193,7 +193,16 @@ <h1>My tags: class<a class="headerlink" href="#my-tags-class"
                                                               href="../python/class/inconsistency_introduction_3_inclusion_python_class.html">InconsistencyIntroduction3Inclusion
                                         (python class)</a></li>
                                     <li class="toctree-l1"><a class="reference internal"
-                                                              href="../python/class/inference_rule_declaration_python_class.html">InferenceRuleDeclarationDict
+                                                              href="../python/class/inference_rule_declaration_collection_python_class.html">InferenceRuleDeclarationCollection
+                                        (python class)</a></li>
+                                    <li class="toctree-l1"><a class="reference internal"
+                                                              href="../python/class/inference_rule_declaration_python_class.html">InferenceRuleDeclaration
+                                        (python class)</a></li>
+                                    <li class="toctree-l1"><a class="reference internal"
+                                                              href="../python/class/inference_rule_inclusion_collection_python_class.html">InferenceRuleInclusionCollection
+                                        (python class)</a></li>
+                                    <li class="toctree-l1"><a class="reference internal"
+                                                              href="../python/class/inference_rule_inclusion_python_class.html">InferenceRuleInclusion
                                         (python class)</a></li>
                                     <li class="toctree-l1"><a class="reference internal"
                                                               href="../python/class/modus_ponens_declaration_python_class.html">ModusPonensDeclaration

diff --git a/docs/build/_tags/collection.html b/docs/build/_tags/collection.html
@@ -0,0 +1,137 @@
+<!DOCTYPE html>
+<html class="writer-html5" lang="en">
+<head>
+    <meta charset="utf-8"/>
+    <meta name="generator" content="Docutils 0.18.1: http://docutils.sourceforge.net/"/>
+    <link href="../_static/punctilious-logo-compact-light.svg" rel="icon" type="image/svg+xml">
+    <link href="../_static/punctilious-logo-compact-light-16x16-white.png" sizes="16x16" rel="icon" type="image/png">
+    <link href="../_static/punctilious-logo-compact-light-32x32-white.png" sizes="32x32" rel="icon" type="image/png">
+    <link rel="apple-touch-icon" href="../_static/punctilious-logo-compact-light-180x180-white.png" sizes="180x180"
+          type="image/png">
+    <meta name="viewport" content="width=device-width, initial-scale=1.0"/>
+    <title>My tags: collection &mdash; punctilious 1.0.9 documentation</title>
+    <link rel="stylesheet" href="../_static/pygments.css" type="text/css"/>
+    <link rel="stylesheet" href="../_static/css/theme.css" type="text/css"/>
+    <link rel="stylesheet" href="../_static/graphviz.css" type="text/css"/>
+    <link rel="stylesheet" href="../_static/togglebutton.css" type="text/css"/>
+    <link rel="stylesheet" href="../_static/tabs.css" type="text/css"/>
+    <link rel="stylesheet" href="../_static/design-style.1e8bd061cd6da7fc9cf755528e8ffc24.min.css" type="text/css"/>
+    <link rel="stylesheet" href="../_static/css/custom.css" type="text/css"/>
+    <!--[if lt IE 9]>
+    <script src="../_static/js/html5shiv.min.js"></script>
+    <![endif]-->
+
+    <script src="../_static/jquery.js?v=5d32c60e"></script>
+    <script src="../_static/_sphinx_javascript_frameworks_compat.js?v=2cd50e6c"></script>
+    <script src="../_static/documentation_options.js?v=0abd802e"></script>
+    <script src="../_static/doctools.js?v=888ff710"></script>
+    <script src="../_static/sphinx_highlight.js?v=dc90522c"></script>
+    <script>let toggleHintShow = 'Click to show';</script>
+    <script>let toggleHintHide = 'Click to hide';</script>
+    <script>let toggleOpenOnPrint = 'true';</script>
+    <script src="../_static/togglebutton.js?v=4a39c7ea"></script>
+    <script>var togglebuttonSelector = '.toggle, .admonition.dropdown';</script>
+    <script src="../_static/design-tabs.js?v=36754332"></script>
+    <script>var togglebuttonSelector = '.toggle, .admonition.dropdown';</script>
+    <script src="../_static/js/theme.js"></script>
+    <link rel="index" title="Index" href="../genindex.html"/>
+    <link rel="search" title="Search" href="../search.html"/>
+</head>
+
+<body class="wy-body-for-nav">
+<div class="wy-grid-for-nav">
+    <nav data-toggle="wy-nav-shift" class="wy-nav-side">
+        <div class="wy-side-scroll">
+            <div class="wy-side-nav-search">
+
+
+                <a href="../index.html" class="icon icon-home">
+                    punctilious
+                </a>
+                <div role="search">
+                    <form id="rtd-search-form" class="wy-form" action="../search.html" method="get">
+                        <input type="text" name="q" placeholder="Search docs" aria-label="Search docs"/>
+                        <input type="hidden" name="check_keywords" value="yes"/>
+                        <input type="hidden" name="area" value="default"/>
+                    </form>
+                </div>
+            </div>
+            <div class="wy-menu wy-menu-vertical" data-spy="affix" role="navigation" aria-label="Navigation menu">
+                <ul>
+                    <li class="toctree-l1"><a class="reference internal" href="../front_matter.html">Front matter</a>
+                    </li>
+                    <li class="toctree-l1"><a class="reference internal" href="../math.html">Math</a></li>
+                    <li class="toctree-l1"><a class="reference internal" href="../python.html">Python</a></li>
+                    <li class="toctree-l1"><a class="reference internal" href="../back_matter.html">Back matter</a></li>
+                </ul>
+
+            </div>
+        </div>
+    </nav>
+
+    <section data-toggle="wy-nav-shift" class="wy-nav-content-wrap">
+        <nav class="wy-nav-top" aria-label="Mobile navigation menu">
+            <i data-toggle="wy-nav-top" class="fa fa-bars"></i>
+            <a href="../index.html">punctilious</a>
+        </nav>
+
+        <div class="wy-nav-content">
+            <div class="rst-content">
+                <div role="navigation" aria-label="Page navigation">
+                    <ul class="wy-breadcrumbs">
+                        <li><a href="../index.html" class="icon icon-home" aria-label="Home"></a></li>
+                        <li class="breadcrumb-item active">My tags: collection</li>
+                        <li class="wy-breadcrumbs-aside">
+                            <a href="../_sources/_tags/collection.rst.txt" rel="nofollow"> View page source</a>
+                        </li>
+                    </ul>
+                    <hr/>
+                </div>
+                <div role="main" class="document" itemscope="itemscope" itemtype="http://schema.org/Article">
+                    <div itemprop="articleBody">
+
+                        <section id="my-tags-collection">
+                            <h1>My tags: collection<a class="headerlink" href="#my-tags-collection"
+                                                      title="Link to this heading"></a></h1>
+                            <div class="toctree-wrapper compound">
+                                <p class="caption" role="heading"><span class="caption-text">With this tag</span></p>
+                                <ul>
+                                    <li class="toctree-l1"><a class="reference internal"
+                                                              href="../python/class/inference_rule_declaration_collection_python_class.html">InferenceRuleDeclarationCollection
+                                        (python class)</a></li>
+                                    <li class="toctree-l1"><a class="reference internal"
+                                                              href="../python/class/inference_rule_inclusion_collection_python_class.html">InferenceRuleInclusionCollection
+                                        (python class)</a></li>
+                                </ul>
+                            </div>
+                        </section>
+
+
+                    </div>
+                </div>
+                <footer>
+
+                    <hr/>
+
+                    <div role="contentinfo">
+                        <p>&#169; Copyright 2023, David Doret.</p>
+                    </div>
+
+                    Built with <a href="https://www.sphinx-doc.org/">Sphinx</a> using a
+                    <a href="https://github.com/readthedocs/sphinx_rtd_theme">theme</a>
+                    provided by <a href="https://readthedocs.org">Read the Docs</a>.
+
+
+                </footer>
+            </div>
+        </div>
+    </section>
+</div>
+<script>
+    jQuery(function () {
+        SphinxRtdTheme.Navigation.enable(false);
+    });
+</script>
+
+</body>
+</html>
diff --git a/docs/build/_tags/declaration.html b/docs/build/_tags/declaration.html
@@ -145,7 +145,10 @@ <h1>My tags: declaration<a class="headerlink" href="#my-tags-declaration"
                                                               href="../python/class/inconsistency_introduction_3_declaration_python_class.html">InconsistencyIntroduction3Declaration
                                         (python class)</a></li>
                                     <li class="toctree-l1"><a class="reference internal"
-                                                              href="../python/class/inference_rule_declaration_python_class.html">InferenceRuleDeclarationDict
+                                                              href="../python/class/inference_rule_declaration_collection_python_class.html">InferenceRuleDeclarationCollection
+                                        (python class)</a></li>
+                                    <li class="toctree-l1"><a class="reference internal"
+                                                              href="../python/class/inference_rule_declaration_python_class.html">InferenceRuleDeclaration
                                         (python class)</a></li>
                                     <li class="toctree-l1"><a class="reference internal"
                                                               href="../python/class/modus_ponens_declaration_python_class.html">ModusPonensDeclaration