"mittetagasimaksmine" - 1 õppematerjal

LOOGIKA PÕHIREEGLID. SEMANTILINE KOLMNURK

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, kui ta sooritab vähemalt ühe neist toimingutest. Toimingute p ja q implikatsioon on toiming p q, mille agent sooritab parajasti siis, kui pole nii, et ta sooritab esimese ja ei soorita teist toimingut.