Eeldus on propositsioon (väide), mille tõesus võetakse arutlemisel aluseks, olgugi et selle tõesus pole kindel. Propositsiooni (väite) tõesuse sellist aluseks võtmist nimetatakse propositsiooni (väite) eeldamiseks.

Eeldamine võib olla teadlik või ebateadlik. Eeldus, mis pole sõnastatud, on varjatud eeldus.

Matemaatika

Kui tõestataval teoreemil on kuju "Kui p, siis q," siis p on teoreemi eeldus. Kui p on esitatav mitme propositsiooni konjunktsioonina, siis ka neid propositsioone võib nimetada teoreemi eeldusteks.

Loogika

Arutlus on defineeritud eelduste ja järelduse kaudu. Arutluse kehtivuse puhul on tagatud, et juhul kui eeldused on tõesed, on järeldus tõene.

Filosoofia

Filosoofilistes arutlustes ei ole enamasti võimalik propositsioonide tõesuses kindel olla. Arutlus lähtub seetõttu enamasti usutavatest propositsioonidest. Mõnikord eeldatakse midagi ka lihtsalt selleks, et näha, mis sellest järeldub.

Vaata ka

• Oletus
• Hüpotees
• Aksioom
• Postulaat
• Eeldused