Index

A

a (punctilious.AxiomInterpretationDeclaration.Premises attribute) (punctilious.UniverseOfDiscourse property) absorb (punctilious.InferenceRuleInclusionCollection property) absorption (punctilious.InferenceRuleInclusionCollection property) AbsorptionDeclaration (class in punctilious)

AbsorptionDeclaration.Premises (class in punctilious) AbsorptionInclusion (class in punctilious) axiom_interpretation (punctilious.InferenceRuleInclusionCollection property) AxiomInterpretationDeclaration (class in punctilious) AxiomInterpretationDeclaration.Premises (class in punctilious) AxiomInterpretationInclusion (class in punctilious)

B

bel (punctilious.InferenceRuleInclusionCollection property) ber (punctilious.InferenceRuleInclusionCollection property) bi (punctilious.InferenceRuleInclusionCollection property) biconditional_elimination_1 (punctilious.InferenceRuleInclusionCollection property) biconditional_elimination_2 (punctilious.InferenceRuleInclusionCollection property) biconditional_introduction (punctilious.InferenceRuleInclusionCollection property) BiconditionalElimination1Declaration (class in punctilious)

BiconditionalElimination1Declaration.Premises (class in punctilious) BiconditionalElimination1Inclusion (class in punctilious) BiconditionalElimination2Declaration (class in punctilious) BiconditionalElimination2Declaration.Premises (class in punctilious) BiconditionalElimination2Inclusion (class in punctilious) BiconditionalIntroductionDeclaration (class in punctilious) BiconditionalIntroductionDeclaration.Premises (class in punctilious) BiconditionalIntroductionInclusion (class in punctilious)

C

c1 (punctilious.UniverseOfDiscourse property) c2 (punctilious.UniverseOfDiscourse property) c3 (punctilious.UniverseOfDiscourse property) cd (punctilious.InferenceRuleInclusionCollection property) cel (punctilious.InferenceRuleInclusionCollection property) cer (punctilious.InferenceRuleInclusionCollection property) check_premises_validity (punctilious.InferenceRuleInclusion property) check_premises_validity() (punctilious.AbsorptionInclusion method) (punctilious.AxiomInterpretationInclusion method) (punctilious.BiconditionalElimination1Inclusion method) (punctilious.BiconditionalElimination2Inclusion method) (punctilious.BiconditionalIntroductionInclusion method) (punctilious.ConjunctionElimination1Inclusion method) (punctilious.ConjunctionElimination2Inclusion method) (punctilious.ConjunctionIntroductionInclusion method) (punctilious.ConstructiveDilemmaInclusion method) (punctilious.DefinitionInterpretationInclusion method) (punctilious.DestructiveDilemmaInclusion method) (punctilious.DisjunctionIntroduction1Inclusion method) (punctilious.DisjunctionIntroduction2Inclusion method) (punctilious.DisjunctiveResolutionInclusion method) (punctilious.DisjunctiveSyllogism1Inclusion method) (punctilious.DisjunctiveSyllogism2Inclusion method) (punctilious.DoubleNegationEliminationInclusion method) (punctilious.DoubleNegationIntroductionInclusion method) (punctilious.EqualityCommutativityInclusion method) (punctilious.EqualTermsSubstitutionInclusion method) (punctilious.HypotheticalSyllogismInclusion method) (punctilious.InconsistencyIntroduction1Inclusion method) (punctilious.InconsistencyIntroduction2Inclusion method) (punctilious.InconsistencyIntroduction3Inclusion method) (punctilious.ModusPonensInclusion method) (punctilious.ModusTollensInclusion method) (punctilious.ProofByContradiction1Inclusion method) (punctilious.ProofByContradiction2Inclusion method) (punctilious.ProofByRefutation1Inclusion method) (punctilious.ProofByRefutation2Inclusion method) (punctilious.VariableSubstitutionInclusion method) ci (punctilious.InferenceRuleInclusionCollection property) compose_class() (punctilious.InferenceRuleInclusion method) compose_paragraph_proof() (punctilious.AxiomInterpretationInclusion method) (punctilious.ConjunctionIntroductionInclusion method) (punctilious.DefinitionInterpretationInclusion method) (punctilious.DisjunctionIntroduction1Inclusion method) (punctilious.DisjunctionIntroduction2Inclusion method) (punctilious.DoubleNegationIntroductionInclusion method) (punctilious.InferenceRuleDeclaration method) (punctilious.VariableSubstitutionInclusion method) compose_report() (punctilious.InferenceRuleDeclaration method) (punctilious.InferenceRuleInclusion method) (punctilious.InferredStatement method) conjunction_elimination_1 (punctilious.InferenceRuleInclusionCollection property) conjunction_elimination_2 (punctilious.InferenceRuleInclusionCollection property) conjunction_introduction (punctilious.InferenceRuleInclusionCollection property) ConjunctionElimination1Declaration (class in punctilious) ConjunctionElimination1Declaration.Premises (class in punctilious) ConjunctionElimination1Inclusion (class in punctilious) ConjunctionElimination2Declaration (class in punctilious) ConjunctionElimination2Declaration.Premises (class in punctilious) ConjunctionElimination2Inclusion (class in punctilious) ConjunctionIntroductionDeclaration (class in punctilious) ConjunctionIntroductionDeclaration.Premises (class in punctilious) ConjunctionIntroductionInclusion (class in punctilious) construct_formula (punctilious.InferenceRuleDeclaration property) (punctilious.InferenceRuleInclusion property) construct_formula() (punctilious.AbsorptionDeclaration method) (punctilious.AbsorptionInclusion method) (punctilious.AxiomInterpretationDeclaration method) (punctilious.AxiomInterpretationInclusion method) (punctilious.BiconditionalElimination1Declaration method) (punctilious.BiconditionalElimination1Inclusion method) (punctilious.BiconditionalElimination2Declaration method) (punctilious.BiconditionalElimination2Inclusion method) (punctilious.BiconditionalIntroductionDeclaration method) (punctilious.BiconditionalIntroductionInclusion method) (punctilious.ConjunctionElimination1Declaration method) (punctilious.ConjunctionElimination1Inclusion method) (punctilious.ConjunctionElimination2Declaration method) (punctilious.ConjunctionElimination2Inclusion method) (punctilious.ConjunctionIntroductionDeclaration method) (punctilious.ConjunctionIntroductionInclusion method) (punctilious.ConstructiveDilemmaDeclaration method) (punctilious.ConstructiveDilemmaInclusion method) (punctilious.DefinitionInterpretationDeclaration method) (punctilious.DefinitionInterpretationInclusion method) (punctilious.DestructiveDilemmaDeclaration method) (punctilious.DestructiveDilemmaInclusion method) (punctilious.DisjunctionIntroduction1Declaration method) (punctilious.DisjunctionIntroduction1Inclusion method) (punctilious.DisjunctionIntroduction2Declaration method) (punctilious.DisjunctionIntroduction2Inclusion method) (punctilious.DisjunctiveResolutionDeclaration method) (punctilious.DisjunctiveResolutionInclusion method) (punctilious.DisjunctiveSyllogism1Declaration method) (punctilious.DisjunctiveSyllogism1Inclusion method) (punctilious.DisjunctiveSyllogism2Declaration method) (punctilious.DisjunctiveSyllogism2Inclusion method) (punctilious.DoubleNegationEliminationDeclaration method) (punctilious.DoubleNegationEliminationInclusion method) (punctilious.DoubleNegationIntroductionDeclaration method) (punctilious.DoubleNegationIntroductionInclusion method) (punctilious.EqualityCommutativityDeclaration method) (punctilious.EqualityCommutativityInclusion method) (punctilious.EqualTermsSubstitutionDeclaration method) (punctilious.EqualTermsSubstitutionInclusion method) (punctilious.HypotheticalSyllogismDeclaration method) (punctilious.HypotheticalSyllogismInclusion method) (punctilious.InconsistencyIntroduction1Declaration method) (punctilious.InconsistencyIntroduction1Inclusion method) (punctilious.InconsistencyIntroduction2Declaration method) (punctilious.InconsistencyIntroduction2Inclusion method) (punctilious.InconsistencyIntroduction3Declaration method) (punctilious.InconsistencyIntroduction3Inclusion method) (punctilious.ModusPonensDeclaration method) (punctilious.ModusPonensInclusion method) (punctilious.ModusTollensDeclaration method) (punctilious.ModusTollensInclusion method) (punctilious.ProofByContradiction1Declaration method) (punctilious.ProofByContradiction1Inclusion method) (punctilious.ProofByContradiction2Declaration method) (punctilious.ProofByContradiction2Inclusion method) (punctilious.ProofByRefutation1Declaration method) (punctilious.ProofByRefutation1Inclusion method) (punctilious.ProofByRefutation2Declaration method) (punctilious.ProofByRefutation2Inclusion method) (punctilious.VariableSubstitutionDeclaration method) (punctilious.VariableSubstitutionInclusion method)

constructive_dilemma (punctilious.InferenceRuleInclusionCollection property) ConstructiveDilemmaDeclaration (class in punctilious) ConstructiveDilemmaDeclaration.Premises (class in punctilious) ConstructiveDilemmaInclusion (class in punctilious) create_universe_of_discourse() (in module punctilious) cross_reference_constant_OBSOLETE() (punctilious.UniverseOfDiscourse method)

D

d (punctilious.DefinitionInterpretationDeclaration.Premises attribute) (punctilious.UniverseOfDiscourse property) declare_compound_formula() (punctilious.UniverseOfDiscourse method) declare_theory() (punctilious.UniverseOfDiscourse method) declare_variable() (punctilious.UniverseOfDiscourse method) definition (punctilious.InferenceRuleDeclaration property) (punctilious.InferenceRuleInclusion property) definition_interpretation (punctilious.InferenceRuleInclusionCollection property) DefinitionInterpretationDeclaration (class in punctilious) DefinitionInterpretationDeclaration.Premises (class in punctilious) DefinitionInterpretationInclusion (class in punctilious) destructive_dilemma (punctilious.InferenceRuleInclusionCollection property) DestructiveDilemmaDeclaration (class in punctilious) DestructiveDilemmaDeclaration.Premises (class in punctilious) DestructiveDilemmaInclusion (class in punctilious) DisjunctionIntroduction1Declaration (class in punctilious) DisjunctionIntroduction1Declaration.Premises (class in punctilious) DisjunctionIntroduction1Inclusion (class in punctilious) DisjunctionIntroduction2Declaration (class in punctilious)

DisjunctionIntroduction2Declaration.Premises (class in punctilious) DisjunctionIntroduction2Inclusion (class in punctilious) DisjunctiveResolutionDeclaration (class in punctilious) DisjunctiveResolutionDeclaration.Premises (class in punctilious) DisjunctiveResolutionInclusion (class in punctilious) DisjunctiveSyllogism1Declaration (class in punctilious) DisjunctiveSyllogism1Declaration.Premises (class in punctilious) DisjunctiveSyllogism1Inclusion (class in punctilious) DisjunctiveSyllogism2Declaration (class in punctilious) DisjunctiveSyllogism2Declaration.Premises (class in punctilious) DisjunctiveSyllogism2Inclusion (class in punctilious) double_negation_elimination (punctilious.InferenceRuleInclusionCollection property) double_negation_introduction (punctilious.InferenceRuleInclusionCollection property) DoubleNegationEliminationDeclaration (class in punctilious) DoubleNegationEliminationDeclaration.Premises (class in punctilious) DoubleNegationEliminationInclusion (class in punctilious) DoubleNegationIntroductionDeclaration (class in punctilious) DoubleNegationIntroductionDeclaration.Premises (class in punctilious) DoubleNegationIntroductionInclusion (class in punctilious)

E

echo() (punctilious.InferenceRuleDeclaration method) EqualityCommutativityDeclaration (class in punctilious) EqualityCommutativityDeclaration.Premises (class in punctilious)

EqualityCommutativityInclusion (class in punctilious) EqualTermsSubstitutionDeclaration (class in punctilious) EqualTermsSubstitutionDeclaration.Premises (class in punctilious) EqualTermsSubstitutionInclusion (class in punctilious)

H

h (punctilious.ProofByContradiction1Declaration.Premises attribute) (punctilious.ProofByContradiction2Declaration.Premises attribute) (punctilious.ProofByRefutation1Declaration.Premises attribute) (punctilious.ProofByRefutation2Declaration.Premises attribute)

HypotheticalSyllogismDeclaration (class in punctilious) HypotheticalSyllogismDeclaration.Premises (class in punctilious) HypotheticalSyllogismInclusion (class in punctilious)

I

i (punctilious.AbsorptionInclusion property) (punctilious.AxiomInterpretationInclusion property) (punctilious.BiconditionalElimination1Inclusion property) (punctilious.BiconditionalElimination2Inclusion property) (punctilious.BiconditionalIntroductionInclusion property) (punctilious.ConjunctionElimination1Inclusion property) (punctilious.ConjunctionElimination2Inclusion property) (punctilious.ConjunctionIntroductionInclusion property) (punctilious.ConstructiveDilemmaInclusion property) (punctilious.DefinitionInterpretationInclusion property) (punctilious.DestructiveDilemmaInclusion property) (punctilious.DisjunctionIntroduction1Inclusion property) (punctilious.DisjunctionIntroduction2Inclusion property) (punctilious.DisjunctiveResolutionInclusion property) (punctilious.DisjunctiveSyllogism1Inclusion property) (punctilious.DisjunctiveSyllogism2Inclusion property) (punctilious.DoubleNegationEliminationInclusion property) (punctilious.DoubleNegationIntroductionInclusion property) (punctilious.EqualityCommutativityInclusion property) (punctilious.EqualTermsSubstitutionInclusion property) (punctilious.HypotheticalSyllogismInclusion property) (punctilious.InconsistencyIntroduction1Inclusion property) (punctilious.InconsistencyIntroduction2Inclusion property) (punctilious.InconsistencyIntroduction3Inclusion property) (punctilious.InferenceRuleInclusion property) (punctilious.ModusPonensInclusion property) (punctilious.ModusTollensInclusion property) (punctilious.ProofByContradiction1Inclusion property) (punctilious.ProofByContradiction2Inclusion property) (punctilious.ProofByRefutation1Inclusion property) (punctilious.ProofByRefutation2Inclusion property) (punctilious.UniverseOfDiscourse property) (punctilious.VariableSubstitutionInclusion property) inc_h (punctilious.ProofByContradiction1Declaration.Premises attribute) (punctilious.ProofByContradiction2Declaration.Premises attribute) (punctilious.ProofByRefutation1Declaration.Premises attribute) (punctilious.ProofByRefutation2Declaration.Premises attribute) InconsistencyIntroduction1Declaration (class in punctilious) InconsistencyIntroduction1Declaration.Premises (class in punctilious) InconsistencyIntroduction1Inclusion (class in punctilious) InconsistencyIntroduction2Declaration (class in punctilious) InconsistencyIntroduction2Declaration.Premises (class in punctilious) InconsistencyIntroduction2Inclusion (class in punctilious) InconsistencyIntroduction3Declaration (class in punctilious)

InconsistencyIntroduction3Declaration.Premises (class in punctilious) InconsistencyIntroduction3Inclusion (class in punctilious) infer_formula_statement (punctilious.InferenceRuleInclusion property) infer_formula_statement() (punctilious.AbsorptionInclusion method) (punctilious.AxiomInterpretationInclusion method) (punctilious.BiconditionalElimination1Inclusion method) (punctilious.BiconditionalElimination2Inclusion method) (punctilious.BiconditionalIntroductionInclusion method) (punctilious.ConjunctionElimination1Inclusion method) (punctilious.ConjunctionElimination2Inclusion method) (punctilious.ConjunctionIntroductionInclusion method) (punctilious.ConstructiveDilemmaInclusion method) (punctilious.DefinitionInterpretationInclusion method) (punctilious.DestructiveDilemmaInclusion method) (punctilious.DisjunctionIntroduction1Inclusion method) (punctilious.DisjunctionIntroduction2Inclusion method) (punctilious.DisjunctiveResolutionInclusion method) (punctilious.DisjunctiveSyllogism1Inclusion method) (punctilious.DisjunctiveSyllogism2Inclusion method) (punctilious.DoubleNegationEliminationInclusion method) (punctilious.DoubleNegationIntroductionInclusion method) (punctilious.EqualityCommutativityInclusion method) (punctilious.EqualTermsSubstitutionInclusion method) (punctilious.HypotheticalSyllogismInclusion method) (punctilious.InconsistencyIntroduction1Inclusion method) (punctilious.InconsistencyIntroduction2Inclusion method) (punctilious.InconsistencyIntroduction3Inclusion method) (punctilious.ModusPonensInclusion method) (punctilious.ModusTollensInclusion method) (punctilious.ProofByContradiction1Inclusion method) (punctilious.ProofByContradiction2Inclusion method) (punctilious.ProofByRefutation1Inclusion method) (punctilious.ProofByRefutation2Inclusion method) (punctilious.VariableSubstitutionInclusion method) inference_rule (punctilious.InferredStatement property) InferenceRuleDeclaration (class in punctilious) InferenceRuleDeclarationAccretor (class in punctilious) InferenceRuleInclusion (class in punctilious) InferenceRuleInclusionCollection (class in punctilious) InferredStatement (class in punctilious) is_strictly_propositional (punctilious.InferenceRuleDeclaration property) (punctilious.InferenceRuleDeclarationAccretor property) (punctilious.InferenceRuleInclusion property) (punctilious.InferredStatement property) (punctilious.UniverseOfDiscourse property)

M

metatheory (punctilious.UniverseOfDiscourse property) modus_ponens (punctilious.InferenceRuleInclusionCollection property) ModusPonensDeclaration (class in punctilious) ModusPonensDeclaration.Premises (class in punctilious)

ModusPonensInclusion (class in punctilious) ModusTollensDeclaration (class in punctilious) ModusTollensDeclaration.Premises (class in punctilious) ModusTollensInclusion (class in punctilious) mp (punctilious.InferenceRuleInclusionCollection property)

N

not_not_p (punctilious.DoubleNegationEliminationDeclaration.Premises attribute) not_p (punctilious.DisjunctiveSyllogism1Declaration.Premises attribute) (punctilious.InconsistencyIntroduction1Declaration.Premises attribute)

not_p_or_r (punctilious.DisjunctiveResolutionDeclaration.Premises attribute) not_q (punctilious.DisjunctiveSyllogism2Declaration.Premises attribute) (punctilious.ModusTollensDeclaration.Premises attribute) not_q_or_not_s (punctilious.DestructiveDilemmaDeclaration.Premises attribute)

O

o (punctilious.UniverseOfDiscourse property)

P

p (punctilious.AxiomInterpretationDeclaration.Premises attribute) (punctilious.ConjunctionIntroductionDeclaration.Premises attribute) (punctilious.DisjunctionIntroduction1Declaration.Premises attribute) (punctilious.DisjunctionIntroduction2Declaration.Premises attribute) (punctilious.DoubleNegationIntroductionDeclaration.Premises attribute) (punctilious.EqualTermsSubstitutionDeclaration.Premises attribute) (punctilious.InconsistencyIntroduction1Declaration.Premises attribute) (punctilious.ModusPonensDeclaration.Premises attribute) (punctilious.VariableSubstitutionDeclaration.Premises attribute) p_and_q (punctilious.ConjunctionElimination1Declaration.Premises attribute) (punctilious.ConjunctionElimination2Declaration.Premises attribute) p_iff_q (punctilious.BiconditionalElimination1Declaration.Premises attribute) (punctilious.BiconditionalElimination2Declaration.Premises attribute) p_implies_q (punctilious.AbsorptionDeclaration.Premises attribute) (punctilious.BiconditionalIntroductionDeclaration.Premises attribute) (punctilious.ConstructiveDilemmaDeclaration.Premises attribute) (punctilious.DestructiveDilemmaDeclaration.Premises attribute) (punctilious.HypotheticalSyllogismDeclaration.Premises attribute) (punctilious.ModusPonensDeclaration.Premises attribute) (punctilious.ModusTollensDeclaration.Premises attribute)

p_or_q (punctilious.DisjunctiveResolutionDeclaration.Premises attribute) (punctilious.DisjunctiveSyllogism1Declaration.Premises attribute) (punctilious.DisjunctiveSyllogism2Declaration.Premises attribute) p_or_r (punctilious.ConstructiveDilemmaDeclaration.Premises attribute) pbc (punctilious.InferenceRuleInclusionCollection property) pbr (punctilious.InferenceRuleInclusionCollection property) phi (punctilious.VariableSubstitutionDeclaration.Premises attribute) proof_by_contradiction_1 (punctilious.InferenceRuleInclusionCollection property) proof_by_refutation_1 (punctilious.InferenceRuleInclusionCollection property) ProofByContradiction1Declaration (class in punctilious) ProofByContradiction1Declaration.Premises (class in punctilious) ProofByContradiction1Inclusion (class in punctilious) ProofByContradiction2Declaration (class in punctilious) ProofByContradiction2Declaration.Premises (class in punctilious) ProofByContradiction2Inclusion (class in punctilious) ProofByRefutation1Declaration (class in punctilious) ProofByRefutation1Declaration.Premises (class in punctilious) ProofByRefutation1Inclusion (class in punctilious) ProofByRefutation2Declaration (class in punctilious) ProofByRefutation2Declaration.Premises (class in punctilious) ProofByRefutation2Inclusion (class in punctilious)

Q

q (punctilious.ConjunctionIntroductionDeclaration.Premises attribute) (punctilious.DisjunctionIntroduction1Declaration.Premises attribute) (punctilious.DisjunctionIntroduction2Declaration.Premises attribute)

q_implies_p (punctilious.BiconditionalIntroductionDeclaration.Premises attribute) q_implies_r (punctilious.HypotheticalSyllogismDeclaration.Premises attribute)

R

r_implies_s (punctilious.ConstructiveDilemmaDeclaration.Premises attribute) (punctilious.DestructiveDilemmaDeclaration.Premises attribute)

S

simple_objcts (punctilious.UniverseOfDiscourse property)

symbolic_objects (punctilious.UniverseOfDiscourse property)

T

t (punctilious.InconsistencyIntroduction1Declaration.Premises attribute) (punctilious.InconsistencyIntroduction2Declaration.Premises attribute) (punctilious.InconsistencyIntroduction3Declaration.Premises attribute) (punctilious.UniverseOfDiscourse property)

take_note() (punctilious.UniverseOfDiscourse method) terms (punctilious.InferredStatement property)

U

UniverseOfDiscourse (class in punctilious)

V

Variable (class in punctilious) variable_substitution (punctilious.InferenceRuleInclusionCollection property)

VariableSubstitutionDeclaration (class in punctilious) VariableSubstitutionDeclaration.Premises (class in punctilious) VariableSubstitutionInclusion (class in punctilious)

W

with_variable() (punctilious.UniverseOfDiscourse method)

X

x (punctilious.DefinitionInterpretationDeclaration.Premises attribute) x_equal_y (punctilious.EqualityCommutativityDeclaration.Premises attribute) (punctilious.EqualTermsSubstitutionDeclaration.Premises attribute) (punctilious.InconsistencyIntroduction2Declaration.Premises attribute)

x_unequal_x (punctilious.InconsistencyIntroduction3Declaration.Premises attribute) x_unequal_y (punctilious.InconsistencyIntroduction2Declaration.Premises attribute)

Y

y (punctilious.DefinitionInterpretationDeclaration.Premises attribute)