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.
18.88 KB
