PlanetMath: universal assumption

(more info)

Math for the people, by the people.

donor list - find out how

Main Menu

universal assumption

(Definition)

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 Wkbj79.

(view preamble | get metadata)

Other names:

universal hypothesis

This object's parent.

Log in to rate this entry.
(view current ratings)

Cross-references: continuous functions on the extended real numbers, sufficiency, necessity, proof, biconditional
There is 1 reference to this entry.

This is version 2 of universal assumption, born on 2007-06-03, modified 2007-06-04.
Object id is 9515, canonical name is UniversalAssumption.
Accessed 1343 times total.

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.

Discussion

forum policy

No messages.

Interact