diff --git a/docs/build/.doctrees/environment.pickle b/docs/build/.doctrees/environment.pickle index 1ca8e51c..731d2c7d 100644 Binary files a/docs/build/.doctrees/environment.pickle and b/docs/build/.doctrees/environment.pickle differ diff --git a/docs/build/.doctrees/inconsistency_introduction_1.doctree b/docs/build/.doctrees/inconsistency_introduction_1.doctree index ba2360a4..847c7eab 100644 Binary files a/docs/build/.doctrees/inconsistency_introduction_1.doctree and b/docs/build/.doctrees/inconsistency_introduction_1.doctree differ diff --git a/docs/build/.doctrees/inconsistency_introduction_2.doctree b/docs/build/.doctrees/inconsistency_introduction_2.doctree index 21a45551..214c2a80 100644 Binary files a/docs/build/.doctrees/inconsistency_introduction_2.doctree and b/docs/build/.doctrees/inconsistency_introduction_2.doctree differ diff --git a/docs/build/.doctrees/inconsistency_introduction_3.doctree b/docs/build/.doctrees/inconsistency_introduction_3.doctree index 7e16fe58..5ea66b55 100644 Binary files a/docs/build/.doctrees/inconsistency_introduction_3.doctree and b/docs/build/.doctrees/inconsistency_introduction_3.doctree differ diff --git a/docs/build/absorption.html b/docs/build/absorption.html index 2ab99370..3911a825 100644 --- a/docs/build/absorption.html +++ b/docs/build/absorption.html @@ -276,28 +276,28 @@
-

absorption

+

absorption

-

Definition

+

Definition

absorption is the well-known and valid inference-rule in propositional-logic:

\[\left(P \implies Q\right) \vdash \left(P \implies P \land Q\right)\]
-

Python implementation

+

Python implementation

-

AbsorptionDeclaration

+

AbsorptionDeclaration

-class core.AbsorptionDeclaration(universe_of_discourse, echo=None)
+class core.AbsorptionDeclaration(universe_of_discourse, echo=None)

The declaration of the absorption inference-rule in a universe-of-discourse.

-__init__(universe_of_discourse, echo=None)
+__init__(universe_of_discourse, echo=None)
-compose_paragraph_proof(o)
+compose_paragraph_proof(o)

This method should be overridden by specialized inference-rule classes to provide accurate proofs.

Return type:
@@ -307,7 +307,7 @@

AbsorptionDeclaration
-infer_formula(p_implies_q=None, t=None, echo=None)
+infer_formula(p_implies_q=None, t=None, echo=None)
Parameters:
    @@ -322,7 +322,7 @@

    AbsorptionDeclaration
    -verify_args(p_implies_q=None, t=None)
    +verify_args(p_implies_q=None, t=None)

    Verify the syntactical-compatibility of input statements and return True if they are compatible, False otherwise.

    @@ -334,19 +334,19 @@

    AbsorptionDeclaration -

    AbsorptionInclusion

    +

    AbsorptionInclusion

    -class core.AbsorptionInclusion(t, echo=None, proof=None)
    +class core.AbsorptionInclusion(t, echo=None, proof=None)

    The inclusion of absorption as a valid inference-rule in a theory-elaboration-sequence.

    -__init__(t, echo=None, proof=None)
    +__init__(t, echo=None, proof=None)

    Include (aka allow) an inference-rule in a theory-elaboration.

    -infer_formula(p_implies_q=None, echo=None)
    +infer_formula(p_implies_q=None, echo=None)

    Apply the absorption inference-rule and return the inferred-formula.

    Parameters:
    @@ -359,7 +359,7 @@

    AbsorptionInclusion
    -infer_statement(p_implies_q=None, nameset=None, ref=None, paragraph_header=None, subtitle=None, echo=None)
    +infer_statement(p_implies_q=None, nameset=None, ref=None, paragraph_header=None, subtitle=None, echo=None)

    Apply the absorption inference-rule and return the inferred-statement.

    Parameters:
    @@ -374,7 +374,7 @@

    AbsorptionInclusion -

    Bibliography

    +

    Bibliography

    diff --git a/docs/build/absorption_declaration_python_class.html b/docs/build/absorption_declaration_python_class.html index 3a3ebd3c..13d09241 100644 --- a/docs/build/absorption_declaration_python_class.html +++ b/docs/build/absorption_declaration_python_class.html @@ -22,10 +22,10 @@
    -

    AbsorptionDeclaration (python class)

    +

    AbsorptionDeclaration (python class)

    -class core.AbsorptionDeclaration(universe_of_discourse: UniverseOfDiscourse, echo: None, bool = None)
    +class core.AbsorptionDeclaration(universe_of_discourse: UniverseOfDiscourse, echo: None, bool = None)

    The declaration of the absorption inference-rule in a universe-of-discourse.

    diff --git a/docs/build/absorption_inclusion_python_class.html b/docs/build/absorption_inclusion_python_class.html index ffd11724..f59f60ae 100644 --- a/docs/build/absorption_inclusion_python_class.html +++ b/docs/build/absorption_inclusion_python_class.html @@ -22,10 +22,10 @@
    -

    AbsorptionInclusion (python class)

    +

    AbsorptionInclusion (python class)

    -class core.AbsorptionInclusion(t: TheoryElaborationSequence, echo: None, bool = None, proof: None, bool = None)
    +class core.AbsorptionInclusion(t: TheoryElaborationSequence, echo: None, bool = None, proof: None, bool = None)

    Note: designing a specialized inclusion class is superfluous because InferenceRuleInclusion is sufficient to do the job. But the advantage of specializing this class is to provide user-friendly type hints and method parameters documentation for that particular diff --git a/docs/build/absorption_math_object.html b/docs/build/absorption_math_object.html index 5a4197cc..73c3dc54 100644 --- a/docs/build/absorption_math_object.html +++ b/docs/build/absorption_math_object.html @@ -23,22 +23,22 @@

    -

    absorption (inference-rule)

    +

    absorption (inference-rule)

    -

    Definition

    +

    Definition

    absorption is the well-known and valid inference-rule (mathematical object) in propositional-logic:

    \[\left(P \implies Q\right) \vdash \left(P \implies P \land Q\right)\]
    -

    Python implementation

    +

    Python implementation

    -

    Bibliography

    +

    Bibliography

    diff --git a/docs/build/bibliography.html b/docs/build/bibliography.html index 1db9df9b..3da74f84 100644 --- a/docs/build/bibliography.html +++ b/docs/build/bibliography.html @@ -271,7 +271,7 @@
    -

    Bibliography

    +

    Bibliography

    diff --git a/docs/build/biconditional_elimination_left.html b/docs/build/biconditional_elimination_left.html index f4cd4568..170ab75e 100644 --- a/docs/build/biconditional_elimination_left.html +++ b/docs/build/biconditional_elimination_left.html @@ -271,7 +271,7 @@
    -

    biconditional-elimination-left

    +

    biconditional-elimination-left