Eeldus: erinevus redaktsioonide vahel

Kui [[tõestus|tõestataval]] [[teoreem]]il on kuju "Kui ''p'', siis ''q''," siis ''p'' on teoreemi eeldus. Kui ''p'' on esitatav mitme propositsiooni [[konjunktsioon (loogika)|konjunktsioon]]ina, siis ka neid propositsioone võib nimetada teoreemi eeldusteks.