Definition:Provable Consequence/Also known as
Jump to navigation
Jump to search
Provable Consequence/Also known as
One also encounters phrases like:
- $\FF$ proves $\phi$
- $\phi$ is provable from $\FF$
to describe the concept of provable consequence.
A provable consequence is also known as:
- a derivable formula
- a provable formula
- a logical consequence, but this is mainly used more generally in the context of logical implication.
Sources
- 1998: David Nelson: The Penguin Dictionary of Mathematics (2nd ed.) ... (previous) ... (next): consequence: 1. (logical consequence)
- 2008: David Nelson: The Penguin Dictionary of Mathematics (4th ed.) ... (previous) ... (next): consequence: 1. (logical consequence)