(5,2) (6) Sk ¬S; S (5,2; MT) ¬Sk (7) Brown osales koosolekul. (6,3) (7) Sk V Bk; ¬Sk (6,3; DS) Bk (8) Brown ei aidanud seifi avada. (7,2) (8) (Bk ¬B); Bk (7,2; MP) ¬B Robinson aitas seifi avada. (8,5) £ S & (B R); ¬B (8,5; DS) S&R 34_fl_vi-x L9 MODAALLOOGIKAST(ik modal logic) Sõna modaalsus (ld. modus `mõõt', `vahend') tähendab hinnangut, mille abil täpsustatakse otsustuse (S-P) terminite sisulist seost. Modaalse otsustuse üldvalem: M (S-P), Kus M on modaliteet ehk operaator: nii tähistatakse igasuguseid mõisteid, mis sobivad otsustuse (S-P) terminite sisulise seose täpsustamiseks. Nt: "on kindel (M), et poliitikud i tee midagi (S-P)"; "on hea (M), et ma olen rumal (S-P)." Modaalsete otsustuste liike on väga palju.
Ajaline (temporaalne) modaalne lause on nt ,,Mõnikord tundub kõik mõttetu", aleetiline modaalne lause on nt ,,On võimalik, et Maa on lapik", aksioloogiline modaalne lause on nt ,,On hea, et ma olen rumal", deontiline modaalne lause on nt ,,On lubatud, et mõned inimesed on abielus". Aleetilised (kr sõnast ¢l»qeia 'tõde') modaalsed laused väljendavad paratamatust, võimalikkust, sattumuslikkust ja mittevõimalikkust. Kui räägitakse modaalsest loogikast ehk modaalloogikast ega täpsustata, mis tüüpi modaalsest loogikast räägitakse, siis on enamasti tegemist aleetilise loogikaga (alethic logic). 1 Sõna ,,modaalne" tähendus on moodust väljendav (ld modus 'mõõt; viis') ja see sõna on keeleteaduses kasutusel, tähistamaks modaalseid kõneviise ja verbe, mis on seotud nt lubamise ja keelamise, võimalikkuse ning hinnangutega. Loogikas vastavad neile modaalsed operaatorid. 2
annaabi.ee 
