next up previous contents
Next: Intuitsionistlik loogika (intuitionistic logic) Up: No Title Previous: Induktsioon (inductioninductive derivation)

Interpretatsioon (interpretation)

- tõlgendus - formaliseeritud süsteemi elementidele omistatav konkreetne tähendus. Loogikaarvutuste korral seob interpretatsioon valemis esinevate indiviidmuutujatega teatud hulga H elemendid, funktsioonisümbolitega operatsioonid hulgal H ja atomaarsete valemitega teatud suhteid hulga H elementide vahel. Teiste sõnadega, predikaatarvutuse valemeid interpreteeritakse alati mingil algebralisel süsteemil.



Jaan Penjam
Mon Sep 2 19:01:04 EET DST 1996