Definition:Following Term

From ProofWiki
Jump to navigation Jump to search


Let $P = a \circ b$ be an expression.

The term $b$ is known as the following term of $P$.

Also known as

$a$ is also known, particularly in Euclid's The Elements, as the consequent of $P$.

However, as this has a specific usage in the field of logic, it is preferred that the term not be used in this context.

Also see