Sisukord
17 suhted: Eitus, Element (matemaatika), Implikatsioon, Ja, Konjunktsioon, Kordarv, Muutuja, Naturaalarv, Olemasolukvantor, Predikaat, Predikaatloogika, Propositsioon, Sümbol, Tõesus, Väärus, Väide, Võrdus.
Eitus
Loogikas nimetatakse propositsiooni eituseks ehk negatsiooniks selle propositsiooniga kontradiktoorset propositsiooni.
Vaata Üldisuskvantor ja Eitus
Element (matemaatika)
Elemendiks nimetatakse matemaatikas üksteisest erinevaid objekte, mis moodustavad hulga.
Vaata Üldisuskvantor ja Element (matemaatika)
Implikatsioon
A \rightarrow B. The circle on the left bounds all members of set A, and the one on the right bounds all members of set B. The red area describes all members for which the material conditional is true, and the white area describes all members for which it is false. The material conditional differs significantly from a natural language's "if...then..." statement.
Vaata Üldisuskvantor ja Implikatsioon
Ja
Ja on sidesõna, mida loomulikus keeles (nt eesti keeles) kasutatakse muu hulgas konnektorina konjunktsiooni väljendamiseks.
Vaata Üldisuskvantor ja Ja
Konjunktsioon
Konjunktsioon ehk loogiline korrutamine ehk "ning" on üks binaarne loogikatehe lauseloogikat sisaldavates sümbolloogika süsteemides.
Vaata Üldisuskvantor ja Konjunktsioon
Kordarv
Kordarv on positiivne täisarv, mis jagub peale ühe ja iseenda veel mõne naturaalarvuga.
Vaata Üldisuskvantor ja Kordarv
Muutuja
Muutuja on suurus, mis võib olla teatava fikseeritud hulga, nn muutumispiirkonna mistahes element.
Vaata Üldisuskvantor ja Muutuja
Naturaalarv
Naturaalarv on sõltuvalt kontekstist kas üks arvudest 1, 2, 3,...
Vaata Üldisuskvantor ja Naturaalarv
Olemasolukvantor
Olemasolukvantor on predikaatloogikas sümbol ∃, mille abil saab väljendada mingite omadustega objekti olemasolu.
Vaata Üldisuskvantor ja Olemasolukvantor
Predikaat
Predikaat on traditsioonilises loogikas see, mida millegi kohta öeldakse; termin propositsioonis, mida öeldakse teise termini (subjekti) kohta ehk omistatakse subjektile ehk preditseeritakse subjekti kohta.
Vaata Üldisuskvantor ja Predikaat
Predikaatloogika
Predikaatloogika ehk predikaatarvutus on lauseloogika laienduste klass, kus lisaks lausesümbolitele ja konnektoritele on kasutusel vähemalt predikaadisümbolid, indiviidikonstandid, muutujad (indiviidimuutujad) ja kvantorid.
Vaata Üldisuskvantor ja Predikaatloogika
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.
Vaata Üldisuskvantor ja Propositsioon
Sümbol
Sümbol (vanakreeka sõnast σύμβολον symbolon, ’märk, tunnus’) ehk võrdkuju on märk, mis asendab midagi ilma välise sarnasuse või sisulise jätkuvuseta, üldlevinud arusaamade (näiteks ühiskondliku kokkuleppe) alusel.
Vaata Üldisuskvantor ja Sümbol
Tõesus
Tõesus on teatav omadus, mida omistatakse propositsioonidele, väidetele, mõtetele, uskumustele jne ning ka lausetele ja lausungitele.
Vaata Üldisuskvantor ja Tõesus
Väärus
Väärus on tõesusele vastandlik omadus, mida omistatakse propositsioonidele, väidetele, mõtetele, uskumustele jne ning ka lausetele ja lausungitele.
Vaata Üldisuskvantor ja Väärus
Väide
Väide on propositsioon, mida väidetakse.
Vaata Üldisuskvantor ja Väide
Võrdus
Võrduseks nimetatakse matemaatikas valemit, mis väidab, et kahe avaldise, näiteks a ja b, väärtused on võrdsed.
Vaata Üldisuskvantor ja Võrdus