Ero sivun ”Välttämätön ja riittävä ehto” versioiden välillä

Ehto voi olla joko välttämätön tai riittävä ilman, että se olisi samalla toista. Esimerkiksi:

 

* Luvun ''x'' suhteen ”''x'' on [[rationaaliluku]]” on riittävä mutta ei välttämätön ehto väittämälle ”''x'' on [[reaaliluku]]”, koska kaikki rationaaliluvut ovat reaalilukuja, mutta on myös olemassa muita reaalilukuja. Jos luvusta siis tiedetään, että se on rationaaliluku, sen tiedetään heti olevan reaaliluku, mutta ei päinvastoin.