Existential Import/Examples/Reducible Fraction
Jump to navigation
Jump to search
Example of Existential Import
The statement:
is assumed to have existential import.
Proof
The statement is equivalent to:
This becomes false if there does not exist a reducible fraction.
$\blacksquare$
Sources
- 1998: David Nelson: The Penguin Dictionary of Mathematics (2nd ed.) ... (previous) ... (next): existential import
- 2008: David Nelson: The Penguin Dictionary of Mathematics (4th ed.) ... (previous) ... (next): existential import