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.