An inference in an argument's premise-conclusion-structure (pcs).
To keep the pcs simple, inferences are stored as property of the conclusion statement that is inferred.
Thus, the last statement of a pcs will always be a conclusion containing an inference.
Inferences can be identified by their argument's title and their conclusion's index in the argument's pcs.
An inference in an argument's premise-conclusion-structure (pcs). To keep the pcs simple, inferences are stored as property of the conclusion statement that is inferred. Thus, the last statement of a pcs will always be a conclusion containing an inference.
Inferences can be identified by their argument's title and their conclusion's index in the argument's pcs.