Teiginių logikos konspektai

89 klausimai ir atsakymai apie teiginių logiką. Ištrauka iš darbo. Ką tyrinėja logikos mokslas? Logika yra mokslas apie samprotavimo taisyklingumą. Kam panaudojami logikos tyrimų rezultatai? Logikos mokslas ir jo rezultatai reikalingi kiekvienam asmeniui, kuriam darbe arba gyvenime prireikia įrodinėjimų arba šiaip samprotavimų. Pavyzdžiui, teisininkas savo darbe pastoviai susiduria ir su samprotavimais, ir su įrodinėjimais. Juk teismo nutartys yra tekstai, reiškiantys samprotavimą, prokuroro kalbos, grindžiančios kaltinamojo kaltumą, advokato kalbos, skirtos ginamo asmens nekaltumui yra įrodinėjimai. Policijos pareigūnų atliekamas nusikaltimų tyrimas yra versijų teisingumo arba klaidingumo įrodinėjimas. Be to, logikos teorijos panaudojamos kuriant kompiuterinę techniką, atliekančią skaičiavimo, tekstų analizės ir kt operacijas, bei šios kompiuterinės technikos progr.