LOOGIKA PÕHIREEGLID. SEMANTILINE KOLMNURK
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. Analoogiliselt saab defineerida tehteid toimingutega kui sooritusfunktsioone, mille
sooritusväärtus sõltub üheselt operandide sooritusväärtustest. Von Wright defineeris
sooritusfunktsioonid vastavuses lausearvutuse tehete ehk tõeväärtusfunktsioonidega.
Toimingu p eitus (eitustoiming) on toiming ¬p, mille agent sooritab parajasti siis, kui
ta seda toimingut ei soorita. Nt laenu tagasimaksmise eituseks on laenu mittetagasimaksmine.
annaabi.ee 
