Loogilise programmeerimise 1.kontrolltöö konspekt
o LOOGIKA on teadus mõtlemise vormidest ja reeglitest.
o Mõtlemise vormid: abstraktne, kujundiline, inspiratiivne
o Loogika uurib abstraktset mõtlemist, mõtlemis-reegleid ja
nende rakendamist faktidele (mõtlemise grammatika).
o Aristoteles: ”Loogika on väitluse struktuuri uuriv teadus“
o !!! Väidete loogiline tõestamine on nende tõesuse näitamine kasutades loogika
reegleid ja teisi (varem tõestatud või postuleeritult) tõeseid väiteid.
Abstraktse mõtlemise mehhanismid:
◦ Deduktsioon
◦ Induktsioon
◦ Abduktsioon
◦ Arutlemine analoogia põhjal
Deduktsioon:
Üldistest reeglitest ja konkreetsetest faktidest lähtudes uute faktide järeldamine
Induktsioon:
Üksikute teadmiste baasil üldistuste (sh reeglite) tuletamine
Abduktsioon:
“Tagantjärele” seletamine
annaabi.ee 
