LOOGIKA KT
LOOGIKA KT
1.1. Definitsiooni analüüsimine
Dfd – defineeritav. Liigitermin, esineb ühelauselises definitsioonis Subjektina.
Dfn – definitsioon, kuidas defineeritakse, mille abil. Liigierisusega täiendatud sootermin.
Liik = DFD
Sugu – kuuluvus (või nt taimetoitlane on OLEND, kes...)
Liigierisus – omadus, mis konkreetsele liigile omandatakse, mis eristab neid teiste sarnaste
liikide hulgast. Kajastab liigi põhilisi tunnuseid. Kas liigierisus on olemuslik tunnus v ei.
Vaieldav, kui defineeritaval on veel olemuslikke PÕHitunnuseid.
Reeglid: 5
Adekvaatsus – peab hõlmama täpselt kogu termini mahu, ristuvus – kui kahe termini mahus