Loogika
Lõppjäreldus S(VÄIKETERMIN) P(SUURTERMIN)
KESKTERMIN(M) on predikaadi rollis, esineb mõlemas eelduses.
ENTÜMEEM
on süllogism millest on välja jäetud suurem või väiksem eeldus või
lõppjäreldus.
II OSA KLASSIKALINE
LOOGIKA
Klassikaline loogika on KAHEVALENTNE(bivalent): igal lausel saab olla üks
kahest tõeväärtusest, mille nimetusteks saab olla tõene või väär.
Funktsioonid, mis on defineeritud ühe hulga põhjal, st funktsioonid, mis
kujutavad suvalise hulga A otseastme sellesama hulga elemendiks.
Selliseid funktsioone nimetatakse algebralisteks teheteks või ka lihtsalt
teheteks(operation). Tehte tulemid kuuluvad võimalike argumentide hulka
A. Tehte argumente nimetatakse operandideks.
LOOGIKAALGEBRA TEHE on tõeväärtuste hulgal(tõene, väär) defineeritud
tehe.
Neid arve, millega tehet sooritatakse nimetatakse OPERANTIDEKS.
Kui tehtes on kaks operanti, siis on tegemist BINAARSE tehtega.
annaabi.ee 
