Suformalizuoti 5 laisvai pasirinkti CPK straipsnius teiginių logikos priemonėmis (ne mažiau 4 atomų). Loginėms formulėms sugalvoti ir parašyti jas atitinkantys sudėtiniai sakiniai. Panaudojus būtiną specialią literatūrą apibrėžtos duotos sąvokos ir nurodyta apibrėžimų rūšis. Apibendrintos ir susiaurintos 4 loginės klasės. Teisingumo lentelė. 6. Nurodant atomų reikšmes, pagal pateiktą loginę struktūrą užrašytas samprotavimas ir laisvai pasirinktu samprotavimų analizės metodu nustatytas jo pagrįstumas.
|
Literatūros šaltiniai | 2 |
---|---|
Darbo lygis | Universitetinis |
Kursas | 2 kursas |
Darbo tipas | Uždaviniai |
Failas | Papild uzd. r.doc (13.95 KB) |
Argumentuotas tekstas logikos paskaitoms.
Argumentuotas tekstas. Privalomoji karo tarnyba.
Logikos argumentuotas tekstas. Geros darbo sąlygos UAB "Emilekstoje" – būtinos.
Logikos argumentuotas tekstas: Aštuonių darbo valandų grafikas geriau nei slenkantis. Išvados.
Aibių teorijos ir logikos pradžiamokslis. Įvadas. Teiginių logika. Teiginio apibrėžimas ir pavyzdžiai. Elementariej...