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ė. Nurodant atomų reikšmes, pagal pateiktą loginę struktūrą užrašytas samprotavimas ir laisvai pasirinktu samprotavimų analizės metodu nustatytas jo pagrįstumas. Schemoms sugalvoti aibių, atitinkančių nurodytus santykius, pavyzdžiai. Nubrėžtos silogizmų figūros ir užrašytos išvadas jei jas galima užrašyti, jei ne, paaiškinta kodėl.
|
Darbo lygis | Universitetinis |
---|---|
Kursas | 2 kursas |
Darbo tipas | Uždaviniai |
Failas | Logika r..doc (18.88 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...