Loogilise programmeerimise 1.kontrolltöö konspekt
◦ Järeldus:
Siis peab olema põhjendatav ka väite A kehtivus
Arutlemine analoogia põhjal:
} Omaduste ülekandmine objektide sarnasuse põhjal:
} Järeldusskeem:
◦ 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)
annaabi.ee 
