Loogilise programmeerimise 1.kontrolltöö konspekt
◦ Eeldused (e. teada olevad faktid):
Kui objektil A on attribuudid a, b, c ja d
Ja objektil B on attribuudid a, b, c ◦ Järeldus :
Siis on tõepärane, et ka objektil B on attribuut d.
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.
annaabi.ee 
