Loogika konspekt 1-5
P & S & ¬A P & S & ¬P P & M & ¬A P & M & ¬P = ¬S & M & ¬P
See on ainus komponent mis saab tõene olla, siit järeldub, et Mike tuleb aktsioonile ning
lisaks ka veel see, et Sam ja Peter ei tule.
27_fl_i-v
L5 PREDIKAATARVUTUSEST
Predikaatarvutuse tähestik:
· predikaatsümbolid: A, B, C, P, A1, B2, A6, ... (suurtähed);
· indiviidmutujad: x, y, z, x1, z2, y6, ... (tähestiku viimased tähed);
· indiviidkonstantide sümbolid: a, b, c, h, a1, j6, ... (tähestiku esimesed tähed);
· loogiliste tehete sümbolid: ¬, &, , , ,
- üldisuskvantor (kõik, iga, jne),
- olemasolukvantor (mingi, mõni, leidub vähemalt üks jne),
loogilise tehtena käsiteldav objektideevahelise võrduse seos: = ;
· kuuluvusseos (aX element a kuulub hulka X);
· kirjavahemärgid: (), [ ].
annaabi.ee 
