PRIKLADNAYA LOGIKA 6-e izd., per. i dop. Uchebnik i praktikum dlya vuzov

V kurse predlagayutsya naibolee effektivnye metody resheniya zadach logiki vyskazyvanij i sillogistiki. Eti metody polucheny preobrazovaniem tablic istinnosti v linejno-tablichnye diagrammy i dopolneniem poslednich oboznacheniyami sushhestvovaniya. Sillogistika rasshiryaetsya za schet diagrammnogo slovarya form atributivnych suzhdenij o predmetach (304 formy, v tom chisle vydelyayushhie, isklyuchayushhie, s otricaniem i drugie), a takzhe za schet analogichnych slovarej o sluchayach, mestach, vremenach i tochkach zreniya. Dayutsya algoritmy diagrammnogo kontrolya nad opredeleniyami, klassifikaciej, postroeniem suzhdenij i algoritmy polucheniya sledstvij iz proizvol′no zadannogo chisla suzhdenij osnovaniya s proizvol′no zadannoj slozhnost′yu terminov.