18. LAUSEARVUTUSE ÜLESANNETE LAHENDUSVÕTTEID. 1. Esmalt tuleb sooritada sulgudes asetsevad tehted. Vajadusel kasutada mitmekordseid sulge. 2. Tehete järjekorra kohta vt p 14. 3. Samaväärsuse tuvastamisel võib kasutada tõeväärtustabeleid või lahendada ülesanne nendeta. 4. Lisaks vaata lk. 69 jj E. Kasaku õpikust. 1 9 . P R E D I K A ATA R V U T U S E P Õ H I I D E E D . K VA N T O R I D . K VA N T O R I T E DUAALSUSREEGLID. Predikaatarvutuse põhiideed: 1. Arvestatakse, et lauses on kaks osa: ! ! ! - objektid (see, mille kohta midagi väidetakse) - predikaat (see, mis väljendab indiviidide teatud omadusi või nendevahelisi seoseid). 3. Lausearvutuse reeglid ja sümbolid jäävad kehtima, kuid tehakse täiendusi. 4. Mõnikord tehakse täiendavaid nõudeid (nt, et indiviidide hulk ei tohi olla tühi). Kvantorid: ∀ – üldisuskvantor
18. LAUSEARVUTUSE ÜLESANNETE LAHENDUSVÕTTEID. 1. Esmalt tuleb sooritada sulgudes asetsevad tehted. Vajadusel kasutada mitmekordseid sulge. 2. Tehete järjekorra kohta vt p 14. 3. Samaväärsuse tuvastamisel võib kasutada tõeväärtustabeleid või lahendada ülesanne nendeta. 4. Lisaks vaata lk. 69 jj E. Kasaku õpikust. 1 9 . P R E D I K A ATA R V U T U S E P Õ H I I D E E D . K VA N T O R I D . K VA N T O R I T E DUAALSUSREEGLID. Predikaatarvutuse põhiideed: 1. Arvestatakse, et lauses on kaks osa: ! ! ! - objektid (see, mille kohta midagi väidetakse) - predikaat (see, mis väljendab indiviidide teatud omadusi või nendevahelisi seoseid). 3. Lausearvutuse reeglid ja sümbolid jäävad kehtima, kuid tehakse täiendusi. 4. Mõnikord tehakse täiendavaid nõudeid (nt, et indiviidide hulk ei tohi olla tühi). Kvantorid: üldisuskvantor olemasolukvantor
30_fl_i-v Ühemateeria väidete loogiline ruut predikaatloogika versioonis: kontraarsus x (Sx Px) (A) (E) x (Sx ¬Px) subordinatsioon subordinatsioon x (Sx & Px) (I) (O) x (Sx & ¬Px) subkontraarsus Kvantorite duaalsusreeglid: ¬x p = x ¬p ¬x p = x ¬p x p = ¬x ¬p x p = ¬x ¬p Kvantorite vahetamise reeglid: · Vahetada tohib ühetüübilisi kvantoreid Nt: Kõik armastavad kõiki: x y Axy = y x Axy 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.
annaabi.ee 
