Logikos apibrėžimas. Jos santykis su kitais mokslais. Logikos reikšmė. Minčių loginės struktūros. Formalizavimo metodas. Teiginių logikos samprata. Teiginiai ir gramatiniai sakiniai. Paprasti ir sudėtiniai teiginiai. Loginis neigimas. Konjunkcija, disjunkcija. Disjunkcija. Implikacija, ekvivalentiškumas. Indukcijos metodai. Analogija. Sudėtinių teiginių neigimas. Daugiareikšmės teiginių logikos samprata. Trijų reikšmių logika. Silogistika. Įrodymo struktūra. Įrodymų klasifikacijos. Loginės klasės skirstymas ir klasifikacija. Klasių skirstymo (klasifikacijos) taisyklės. Išsprendžiamumo problema teiginių logikoje. Pagrindinių teiginių logikos dėsniai - išvedimo taisyklės. Loginė klasė ir jos struktūra. Loginės klasės sąvokos. Sąvokų sudarymas. Santykiai tarp loginių klasių (sąvokų). Sąvokos apibrėžimo samprata. Apibrėžimo struktūra. Pagrindinės apibrėžimų rūšys. Sąvokų apibrėžimo taisyklės. Veiksmai su loginėmis klasėmis. Bendra predikatų logikos samprata. Savybių ir santykių teorija. Kvantoriai. Dedukcinis metodas. Įrodymų klaidos. Įrodymų taisyklės. Netiesioginio įrodymo būdai. Tezės paneigimo būdai.
61.5 KB
