Sąvokų simboliniai pažymėjimai. Teiginių logikos pažymėjimai. Loginių klasių teorijos simboliniai pažymėjimai. Teisingumo lentelės. Ekvivalentiškumo tautologijos. Disjunktyvioji ir konjunktyvioji normalioji forma. Veiksmai su loginėmis klasėmis. Elementarūs klausimai. Loginių santykių nustatymas. Teiginių logikos dėsniai. Kalbos tekstų formalizavimas savybių logikos priemonėmis. Simbolinių išraiškų skaitymas ir užrašymas savybių logikoje. Veiksmai su santykiais – šeimyninių santykių apibrėžimai. Klasių logika.
33.88 KB
