LOOGIKA PÕHIREEGLID. SEMANTILINE KOLMNURK
9
Mingisugune käitumine või toiming saab keeles nimetuse iseloomuliku omaduse
(tunnuse) kaudu. Nt võib isik kuhugi minna, midagi haarata ja kaasa võtta. Kui selle käigus
omastatakse ebaseaduslikult kellegi teise omand, siis nimetatakse seda käitumist varguseks,
see ongi kõnealuse toimingu iseloomulik tunnus, selleks ei ole haaramine ega jooksmine.
Toimingute näited on mõrv, suitsetamine, söömine, abiellumine, vargus, annetamine jne.
Toimingu sooritamist või mittesooritamist mingi agendi poolt mingil ajavahemikul nimetame
selle sooritusväärtuseks (selle agendi jaoks).
Toimingut nimetatakse teiste toimingute sooritusfunktsiooniks, kui tema
sooritusväärtus mis tahes konkreetse agendi jaoks sõltub üheselt sama agendi teistest
toimingutest. Lausearvutuses on võimalik defineerida tehted tõeväärtusfunktsioonidena
igale operandide tõeväärtuste komplektile vastab tehtevalemi kui terviku üks kindel
tõeväärtus