Elementarių logikos užduočių pratybos
Praeitų metų darbo su vdu neakivaizdinių studijų studentais patirtis parodė, jog studentams, atliekantiems namų darbų ar žinių patikrinimo užduotis, neretai trūksta paprasčiausių, tų užduočių atlikimui reikalingų, techninių įgūdžių.
Todėl ši metodinė medžiaga ir yra skirta padėti studentams suprasti, kaip turi būti pateikiamas uždavinio sprendimas, kad dėstytojas galėtų objektyviai įvertinti studento žinias.
Visa pateikiama medžiaga suskirstyta į skyrius, pagal logikos užduočių temas – teiginių, savybių, santykių ir klasių logika. Kiekviename skyriuje yra po pora pavyzdžių, kaip reikia pateikti elementariausių tipinių užduočių sprendimus. Sprendimai palydimi minima tam kad būtų galima spręsti šio tipo uždavinius, reikia mintinai mokėti pagrindines teiginių logikos jungtis – konjunkciją, silpnąją i sprendimas: sudaryti sudėtingos loginės išraiškos teisingumo lentelę tai reiškia nustatyti, kokios yra tos išraiškos teisingumo reikšmės visoms galimoms kintamųjų reikšmių kombinacijoms. Užduoties sprendimo eigą pavaizduosime smulkiais žingsneliais.
Lentelės parengimas. Nusibraižome lentelę, kurios viršutinė eilutė skirta antraštei, o likusios skirtos galimoms kintamųjų kombinacijoms. Mūsų atveju, esant dviems kintamiesiems – p ir q turėsime 22 = kombinacijas. Jeigu būtų kintamieji, tai reikėtų skirti 23 = eilutes. Antraštėje surašome kintamųjų pavadinimus ir pačią loginę išraišką, ir pridedame dar vieną eilutę, kurioje pasižymėsime . Lentelės užpildymas. Lentelė pildoma pažingsniui, pradedant nuo kintamųjų perrašymo, jų neiginių reikšmių nustatymo, pačių vidinių skliaustų reikšmių užpildymo, kol pasiekiama paskutinė jungtis, atitinkanti visos lentelės reikšmę. Kiekvienu žingsniu pildomos visos lentelės eilutė antruoju žingsniu pakeičiame kintamųjų trečiuoju žingsniu, remdamiesi konjunkcijos ketvirtuoju žingsniu, remdamiesi disjunkcijos apibrėžimo teisingumo lentele, nustatome disjunkcijos reikšmes pagaliau, pen supaprastintas sprendimo variantas. Tais atvejais, kai sprendžiantysis tvirtai jaučiasi žinąs elementarių jungčių teisingumo lentelių reikšmes, ir galįs mintinai pasiskaičiuoti neiginių reikšmes, rekomenduojamas supaprastintas teisingumo lentelės sudarymo būdas. Ir šiuo atveju teisingumo lemtelės reikšmės nustatinėjamos pažingsniui, tik praleidžiamas pirmas ir antras žin.
