issue #143: enhance disjunction-introduction (left and right) inferen…

…ce-rules

docs/build/_sources/disjunction_introduction.rst.txt

@@ -0,0 +1,53 @@
+disjunction-introduction
+=============================
+
+Definition
+----------
+
+*disjunction-introduction* is the well-known and valid :doc:`inference_rule`:
+
+.. math::
+
+    P \vdash \left( P \lor Q \right)
+
+Quotes
+------
+
+    "Addition (or disjunction introduction, or or introduction) is the rule of inference that allows one to infer a disjunction from either of the disjuncts."
+    - :footcite:p:`cook_2009_dictionaryphilosophicallogic`, p8
+
+Python implementation
+--------------------------
+
+Properties
+^^^^^^^^^^^^^^^
+
+.. module:: core
+    :noindex:
+.. autoclass:: InferenceRuleDeclarationDict
+    :noindex:
+    :members: disjunction_introduction
+
+.. module:: core
+    :noindex:
+.. autoclass:: InferenceRuleDeclarationDict
+    :noindex:
+    :members: disjunction_introduction
+
+Classes
+^^^^^^^^^^
+
+.. module:: core
+    :noindex:
+.. autoclass:: DisjunctionIntroductionDeclaration
+    :members:
+    :special-members: __init__
+
+.. autoclass:: DisjunctionIntroductionInclusion
+    :members:
+    :special-members: __init__
+
+Bibliography
+------------
+
+.. footbibliography::

docs/build/_sources/disjunction_introduction_left.rst.txt

@@ -0,0 +1,53 @@
+disjunction-introduction-left
+===============================
+
+Definition
+----------
+
+*disjunction-introduction-left* is the well-known and valid :doc:`inference_rule`:
+
+.. math::
+
+    P \vdash \left( Q \lor P \right)
+
+Quotes
+------
+
+    "Addition (or disjunction introduction, or or introduction) is the rule of inference that allows one to infer a disjunction from either of the disjuncts."
+    - :footcite:p:`cook_2009_dictionaryphilosophicallogic`, p8
+
+Python implementation
+--------------------------
+
+Properties
+^^^^^^^^^^^^^^^
+
+.. module:: core
+    :noindex:
+.. autoclass:: InferenceRuleDeclarationDict
+    :noindex:
+    :members: disjunction_introduction_left
+
+.. module:: core
+    :noindex:
+.. autoclass:: InferenceRuleDeclarationDict
+    :noindex:
+    :members: disjunction_introduction_left
+
+Classes
+^^^^^^^^^^
+
+.. module:: core
+    :noindex:
+.. autoclass:: DisjunctionIntroductionLeftDeclaration
+    :members:
+    :special-members: __init__
+
+.. autoclass:: DisjunctionIntroductionLeftInclusion
+    :members:
+    :special-members: __init__
+
+Bibliography
+------------
+
+.. footbibliography::

docs/build/_sources/disjunction_introduction_right.rst.txt

@@ -0,0 +1,53 @@
+disjunction-introduction-right
+===============================
+
+Definition
+----------
+
+*disjunction-introduction-right* is the well-known and valid :doc:`inference_rule`:
+
+.. math::
+
+    P \vdash \left( P \lor Q \right)
+
+Quotes
+------
+
+    "Addition (or disjunction introduction, or or introduction) is the rule of inference that allows one to infer a disjunction from either of the disjuncts."
+    - :footcite:p:`cook_2009_dictionaryphilosophicallogic`, p8
+
+Python implementation
+--------------------------
+
+Properties
+^^^^^^^^^^^^^^^
+
+.. module:: core
+    :noindex:
+.. autoclass:: InferenceRuleDeclarationDict
+    :noindex:
+    :members: disjunction_introduction_right
+
+.. module:: core
+    :noindex:
+.. autoclass:: InferenceRuleDeclarationDict
+    :noindex:
+    :members: disjunction_introduction_right
+
+Classes
+^^^^^^^^^^
+
+.. module:: core
+    :noindex:
+.. autoclass:: DisjunctionIntroductionRightDeclaration
+    :members:
+    :special-members: __init__
+
+.. autoclass:: DisjunctionIntroductionRightInclusion
+    :members:
+    :special-members: __init__
+
+Bibliography
+------------
+
+.. footbibliography::

docs/build/_sources/index.rst.txt

@@ -16,6 +16,8 @@ Welcome to punctilious's documentation!
    absorption
    bibliography
    conjunction_introduction
+   disjunction_introduction_left
+   disjunction_introduction_right
    double_negation_introduction
    inconsistency_by_inequality_introduction
    inference_rule

docs/build/absorption.html

@@ -170,6 +170,8 @@ <h3>Navigation</h3>
 <li class="toctree-l1 current"><a class="current reference internal" href="#">absorption</a></li>
 <li class="toctree-l1"><a class="reference internal" href="bibliography.html">Bibliography</a></li>
 <li class="toctree-l1"><a class="reference internal" href="conjunction_introduction.html">conjunction-introduction</a></li>
+<li class="toctree-l1"><a class="reference internal" href="disjunction_introduction_left.html">disjunction-introduction-left</a></li>
+<li class="toctree-l1"><a class="reference internal" href="disjunction_introduction_right.html">disjunction-introduction-right</a></li>
 <li class="toctree-l1"><a class="reference internal" href="double_negation_introduction.html">double-negation-introduction</a></li>
 <li class="toctree-l1"><a class="reference internal" href="inconsistency_by_inequality_introduction.html">inconsistency-by-inequality-introduction</a></li>
 <li class="toctree-l1"><a class="reference internal" href="inference_rule.html">inference-rule</a></li>

docs/build/conjunction_introduction.html

@@ -15,7 +15,7 @@
     <script async="async" src="https://cdn.jsdelivr.net/npm/mathjax@3/es5/tex-mml-chtml.js"></script>
     <link rel="index" title="Index" href="genindex.html" />
     <link rel="search" title="Search" href="search.html" />
-    <link rel="next" title="double-negation-introduction" href="double_negation_introduction.html" />
+    <link rel="next" title="disjunction-introduction-left" href="disjunction_introduction_left.html" />
     <link rel="prev" title="Bibliography" href="bibliography.html" />
 
   <link rel="stylesheet" href="_static/custom.css" type="text/css" />
@@ -256,6 +256,8 @@ <h3>Navigation</h3>
 <li class="toctree-l1"><a class="reference internal" href="absorption.html">absorption</a></li>
 <li class="toctree-l1"><a class="reference internal" href="bibliography.html">Bibliography</a></li>
 <li class="toctree-l1 current"><a class="current reference internal" href="#">conjunction-introduction</a></li>
+<li class="toctree-l1"><a class="reference internal" href="disjunction_introduction_left.html">disjunction-introduction-left</a></li>
+<li class="toctree-l1"><a class="reference internal" href="disjunction_introduction_right.html">disjunction-introduction-right</a></li>
 <li class="toctree-l1"><a class="reference internal" href="double_negation_introduction.html">double-negation-introduction</a></li>
 <li class="toctree-l1"><a class="reference internal" href="inconsistency_by_inequality_introduction.html">inconsistency-by-inequality-introduction</a></li>
 <li class="toctree-l1"><a class="reference internal" href="inference_rule.html">inference-rule</a></li>
@@ -275,7 +277,7 @@ <h3>Related Topics</h3>
 <ul>
   <li><a href="index.html">Documentation overview</a><ul>
       <li>Previous: <a href="bibliography.html" title="previous chapter">Bibliography</a></li>
-      <li>Next: <a href="double_negation_introduction.html" title="next chapter">double-negation-introduction</a></li>
+      <li>Next: <a href="disjunction_introduction_left.html" title="next chapter">disjunction-introduction-left</a></li>
   </ul></li>
 </ul>
 </div>