universal assumption

Given a biconditional statement, a universal assumption is an assumption that can be used in a proof of both the necessity and sufficiency directions.

For an example of a universal assumption, please see the entry continuous functions on the extended real numbers.

universal assumption is owned by Warren Buck.

How to Cite This Entry

Warren Buck. "universal assumption" (version 2). PlanetMath.org. Freely available at http://planetmath.org/UniversalAssumption.html.

Classification

AMS MSC:	03B05 (Mathematical logic and foundations :: General logic :: Classical propositional logic)
	03F07 (Mathematical logic and foundations :: Proof theory and constructive mathematics :: Structure of proofs)

Pending Errata and Addenda

None.

Interact

Post Comment
| Attach New Article
| Suggest Correction

Discussion

No messages.

Username:
Password:

Register
I've forgotten my login details