[15:37:48] Martynas: Seminaras: Teigini logika 1. Teigini logikos objektas. Sudtiniai teiginiai ir j teisingumas. 2.

Pagrindiniai teigini logikos operatoriai (konjunkcija, disjunkcija, implikacija, ekvivalencija) ir j lenteliniai apibrimai. 3. Formalizavimo metodas. 4. Teisingumo lenteli (Matric) metodas ir jo taikymas 5. Pagrindiniai teigini logikos formuli santykiai: prietaravimo, loginio lygiareikmikumo, prieingumo ir kt. santykiai. 6. Ivedimo taisykls. Ekvivalencijos taisykls. 7. Formaliosios (natraliosios) dedukcijos metodas. Literatra: Bubelis R., Jakimenko V. Logika. 1 dalis. 1 sk. 2004. Lomanien N. Logika. Udavinynas. V., 2002. 29-52. Plekaitis R. Logikos pagrindai. Tyto Alba, 2005. Copi I.M., Cohen C. Introduction to logic. Macmillan, 1994. Praktins uduotys 1. Formalizuokite: a. Iteisinamasis nuosprendis priimamas tais atvejais, kai nenustatytas nusikaltimo vykis, kai teisiamojo veikoje nra nusikaltimo sudties arba nerodytas teisiamojo dalyvavimas nusikaltimo padaryme. b. Tais atvejais, kai teisiamasis iteisinamas ar atleidiamas nuo bausms arba nuteisiamas bausme, nesusijusia su laisvs atmimu, arba teisiamajame posdyje yra teismo priimama nutartis nutraukti byl, teismas, jeigu teisiamasis yra suimtas, paleidia j i sumimo teisiamojo posdio salje. 2. Matric metodu nustatykite formuls r: ~(p v q) (q v p) ~p 3. Sudarykite teisingumo lentel iai iraikai, jei kintamasis r yra teisingas, o kintamasis q - ne: (~(p r) v q) (p ~q) 4. Sudarykite teisingumo lentel iraikoms: a) ~(P ~~P) b) [(P Q) v ~(P ~Q)] c) [(P Q) ~(P ~Q)] 5. Kokioms kintamj reikmms esant i formul bus klaidinga: [(A v B) C] [~(A v B)] ~C 6. Nustatykite, santykius tarp sakini: (p v ~q) ir (p ~q) 7. Formalizuokite ir nustatykite ar duotieji sakiniai yra logikai lygiaveriai: a. Jei asmuo nepiktnaudiauja tarnybine padtimi, tai jis nepatraukiamas baudiamojon atsakomybn. b. Netiesa, kad jeigu ir tik jeigu asmuo piktnaudiauja tarnybine padtimi, tai jis patraukiamas baudiamojon atsakomybn.

8. rodykite samprotavimo nepagrstum bandym ir klaid metodu: 1. p v ~q 2. (~p q) r /\~p q 9. rodykite samprotavimo pagrstum dedukcijos metodu: 1. H 2. ~H v (S A) /.: S 10. rodykite samprotavimo pagrstum slygins dedukcijos metodu: 1. A v F Q /.: A Q 2. A AP 3. A v F 2, Add 4. Q 1, 3, MP 5. A Q CP 2-4 QED 11. rodykite samprotavimo pagrstum netiesiogins dedukcijos metodu: 1. K P 2. ~P v A 3. ~A /.: A 12. rodykite samprotavimo pagrstum visais jums inomais metodais: 1. ~(H v ~K) 2. L H /\L M 3. ~(L M) AP 4. ~(~L v M) MI, 3 5. ~~L ~M 6. ~~L 7. L 8. H 9. ~H ~~K 10. ~H 11. ~H H 12. L M IP 3-11 QED