13 suhted: Aksioom, Arutlus, Hüpotees, Järeldus, Kehtivus, Konjunktsioon, Loogika, Matemaatiline loogika, Propositsioon, Tõestus, Tõesus, Teoreem, Väide.
Aksioom
Aksioom ehk postulaat on matemaatikas väide, mis võetakse tõestuseta aluseks deduktiivse teooria ülejäänud väidete tuletamiseks.
Uus!!: Eeldus ja Aksioom · Näe rohkem »
Arutlus
Arutlus (ka järeldus, argument; inglise keeles argument) koosneb eeldus(t)est ja järeldusest.
Uus!!: Eeldus ja Arutlus · Näe rohkem »
Hüpotees
Hüpotees on oletus.
Uus!!: Eeldus ja Hüpotees · Näe rohkem »
Järeldus
Järeldus on propositsioon, milleni arutlus viib.
Uus!!: Eeldus ja Järeldus · Näe rohkem »
Kehtivus
Kehtivus (inglise keeles validity) on normi või väärtuse omadus, mis seisneb jõus olemises, või arutluse omadus, mis seisneb selles, et ta on loogiliselt siduv.
Uus!!: Eeldus ja Kehtivus · Näe rohkem »
Konjunktsioon
Konjunktsioon ehk loogiline korrutamine ehk "ning" on üks binaarne loogikatehe lauseloogikat sisaldavates sümbolloogika süsteemides.
Uus!!: Eeldus ja Konjunktsioon · Näe rohkem »
Loogika
Loogika on teadus mõtlemise reeglitest, struktuuridest ja vormidest.
Uus!!: Eeldus ja Loogika · Näe rohkem »
Matemaatiline loogika
Matemaatiline loogika ehk sümbolloogika on matemaatika haru, mis uurib matemaatilisi tõestusi ja matemaatika aluseid.
Uus!!: Eeldus ja Matemaatiline loogika · Näe rohkem »
Propositsioon
Propositsioon on lausesisu ehk lause tähendus, see mida uskumuse puhul usutakse, soovi puhul soovitakse, teadmise puhul teatakse jne, ehk teisisõnu propositsioonilise hoiaku sisu.
Uus!!: Eeldus ja Propositsioon · Näe rohkem »
Tõestus
Tõestuse all mõeldakse matemaatikas, loogikas ja filosoofias kehtivat arutlust, mille eelduste tõesus on teada või kokku lepitud.
Uus!!: Eeldus ja Tõestus · Näe rohkem »
Tõesus
Tõesus on teatav omadus, mida omistatakse propositsioonidele, väidetele, mõtetele, uskumustele jne ning ka lausetele ja lausungitele.
Uus!!: Eeldus ja Tõesus · Näe rohkem »
Teoreem
publisher.
Uus!!: Eeldus ja Teoreem · Näe rohkem »
Väide
Väide on propositsioon, mida väidetakse.
Uus!!: Eeldus ja Väide · Näe rohkem »