"sooritusfunktsioonid" - 1 õppematerjal

LOOGIKA PÕHIREEGLID. SEMANTILINE KOLMNURK

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. Toimingute p ja q konjunktsioon on toiming p & q, mille agent sooritab parajasti siis, kui ta sooritab need mõlemad toimingud. Toimingute p ja q disjunktsioon on toiming p q, mille agent sooritab parajasti siis,