1. Iš įvairių spaudos ar literatūros šaltinių išrinkite 5 sudėtinius teiginius (teiginius turi sudaryti ne mažiau 4 atomų) ir juos suformalizuokite. (Būtinai nurodykite literatūros ar spaudos šaltinius ir puslapius iš kurių Jūs išrinkote teiginius). 2. Suformalizuokite 3 laisvai pasirinktus kodeksų straipsnius teiginių logikos priemonėmis (ne mažiau 4 atomų). 3. Iš pateiktų formulių sugalvokite ir parašykite jas atitinkančius sudėtinius sakinius (būtinai užrašykite atomų reikšmes). 4. Suformalizuoti ir nustatyti pagal kokį logikos dėsnį samprotaujama. 5. Laisvai pasirinktu metodu (teisingumo lentelių metodas, bandymų ir klaidų metodas, formaliosios dedukcijos metodas) išanalizuoti šiuos samprotavimus. 6. Apibendrinkite ir susiaurinkite logines klases.
16.38 KB
