InferredStatement (python class)
- class punctilious.InferredStatement(i, premises, symbol=None, index=None, auto_index=None, dashed_name=None, acronym=None, abridged_name=None, name=None, explicit_name=None, ref=None, subtitle=None, paragraph_header=None, echo=None, echo_proof=None)
A statement inferred from an inference-rule in the current theory-elaboration.
- compose_report(proof=None, **kwargs)
This python method yields a human-readable formal report on the object.
- Parameters
proof – True if the report must include a formal proof. False otherwise.
kwargs –
- Returns
- property inference_rule: punctilious.core.InferenceRuleDeclaration
Return the inference-rule upon which this inference-rule-inclusion is based.
- Return type
- property is_strictly_propositional: bool
By definition, an inferred statement is propositional.
- Return type
bool
- property terms: tuple
The terms of a formula-statement are the terms of the valid-proposition-formula it contains.
- Return type
tuple