inferred-statement
Definition
An inferred-statement is a propositional statement<statement_math_concept> that has been derived from an inference-rule<inference_rule_math_concept> in a theory-derivation<theory_derivation_math_concept>.
Quotes
“The rules of inference may be thought of as a logical toolbox, from which the tools may be taken, as needed, to prove validity.” [CCM14, p. 368]
Synonyms
N/A
See also
Bibliography
N/A