Semantiline väärtus: erinevus redaktsioonide vahel

Eemaldatud sisu Lisatud sisu
P kat
Resümee puudub
5. rida:
[[Gottlob Frege]] nimetas semantilist väärtust [[osutus]]eks (''Bedeutung'').
 
[[Liitväljend]]i semantiline väärtus sõltub tema koostisosade semantilistest väärtustest ning viisist, kuidas liitväljend on nendest koostisosadest kokku pandud ([[kompositsionaalsusprintsiipkompositsioonilisusprintsiip]]).
 
Kui lause üks koostisosa asendada sama semantilise väärtusega koostisosaga, siis lause semantiline väärtus (tõeväärtus) ei muutu.
18. rida:
[[Lauseloogika]] [[konnektor]]ite semantilised väärtused on neile vastavad [[tõeväärtusfunktsioon]]id.
 
[[Kvantor]]ite ([[üldisuskvantor]]i ja [[olemasolukvantor]]i) semantilised väärtused on nn [[teiseteist tasandijärku funktsioon]]id, mille argumentideks on [[mõiste (Frege)|mõiste]]d ja mille väärtusteks on tõeväärtused. Üldisuskvantori (olemasolukvantori) semantiline väärtus on funktsioon, mis seab mõistele vastavuse tõeväärtuse Tõene [[parajasti siis, kui]] [[universum (matemaatika)|universum]]i kõik [[element (matemaatika)|elemendid]] kuuluvad (mõni element kuulub) selle mõiste mahtu.
 
==Kirjandus==