The Wayback Machine - https://web.archive.org/web/20060925041323/http://planetmath.org/encyclopedia/Sufficient.html
PlanetMath (more info)
 Math for the people, by the people.
Encyclopedia | Requests | Forums | Docs | Wiki | Random | RSS  
Login
Main Menu
sections
Encyclopædia
Papers
Books
Expositions

meta
Requests (234)
Orphanage
Unclass'd
Unproven (392)
Corrections (296)
Classification

talkback
Polls
Forums
Feedback
Bug Reports

downloads
Snapshots
PM Book

information
News
Docs
Wiki
ChangeLog
TODO List
Legalese
About
[parent] necessary and sufficient (Definition)

The statement “$ p$ is necessary for $ q$” means “$ q$ implies $ p$”.

The statement “$ p$ is sufficient for $ q$” means “$ p$ implies $ q$”.

The statement “$ p$ is necessary and sufficent for $ q$” means “$ p$ if and only if $ q$”.

For an example of how these terms are used in mathematics, see complete ultrametric field.



"necessary and sufficient" is owned by Wkbj79.
(view preamble)


See Also: complete ultrametric field

Also defines:  necessary, sufficient

This object's parent.

Cross-references: complete ultrametric field
There are 130 references to this entry.

This is version 4 of necessary and sufficient, born on 2006-07-29, modified 2006-07-30.
Object id is 8195, canonical name is NecessaryAndSufficient.
Accessed 290 times total.

Classification:
AMS MSC: 03B05 (Mathematical logic and foundations :: General logic :: Classical propositional logic)
Pending Errata and Addenda
None.
[ View all 1 ]
Discussion
forum policy
Interact
rate | post | correct | update request | add derivation | add example | add (any)