Loogilise programmeerimise 1.kontrolltöö konspekt
Lause esitab teadmist, mis võib olla tõene või väär.
Lauseid tähistame lauseloogikas lausemuutujatega:
• Term tähistab objekti, mis sisaldub väites
• Term omab tõeväärtusest erinevat väärtust: täisarv, nimi, kaardimast jne
Termide defineerimine:
Defineerimine üldise tüübi ja kitsendava(te) omadus(t)e kaudu:
◦ Definitsioonis ei tohi kasutada defineeritavat termi (ringdefinitsioon e. tautoloogia)
Rekursiivne definitsioon
Uus termi eksemplar defineeritakse varem defineeritud eksemplaride kaudu, kuid
teatud regulaarse modifikatsiooniga.
Definitsioonis tuleb vältida topelt eitust ja võimaluse korral ka eitust.
Ostensiivne definitsioon (osutamise, loetlemise teel).
Defineerimine analoogia kaudu, millele on lisatud eristav tingimus.
Tüüplaused:
Kategooriline lause
Kuulutab fakti kehtivaks või mittekehtivaks
annaabi.ee 
