Loogika konspekt 1-5
Keegi armastab kedagi: x y Axy = y x Axy
· Üldjuhul ei tohi vahetada eritüübilisi kvantoreid: x y Exy y x Exy
Nt: Exy = "x ema on y"
Igaühel on ema: x y Exy
Keegi on kõigi inimeste ema: yx Exy.
· Üldisuskvantori võib tõsta eksistentsikvantori ette, saame lause mis järeldub esialgsest
lausest: Nt: On keegi kes armastab kõiki: xy Axy yx Axy
Järeldus: Kõikidel on keegi, kes neid armastab.
Nt: On keegi keda kõik armastavad: yxAxy xyAxy
Järeldus: Kõikidel on keegi, keda nad armastavad.
ÜLESANDEID (Vt Vuksi õpik, N58, ülesanded 89. jj, trükiversioonis 101. jj.) Kumb valem
on õige? (Kõigepealt tehke endale selgeks tähistus.)
5.1. Ükski inimene (x) ei tunne (Txy) kõiki juriidilisi seadusi (y). x y ¬Tyx; x y ¬Tyx ;
5.2. Mõned ametnikud on toimunust informeeritud ja neile on antud käitumise
instruktsioonid. x ¬( Ix & Kx); x (Ix & Kx);
5.3
annaabi.ee 
