PRIKLADNAJA LOGIKA 6-e izd., per. i dop. Učebnik i praktikum dlja vuzov

V kurse predlagajutsja naibolee ėffektivnye metody rešenija zadač logiki vyskazyvanij i sillogistiki. Ėti metody polučeny preobrazovaniem tablic istinnosti v linejno-tabličnye diagrammy i dopolneniem poslednich oboznačenijami sučšestvovanija. Sillogistika rasširjaetsja za sčet diagrammnogo slovarja form atributivnych suždenij o predmetach (304 formy, v tom čisle vydeljajučšie, isključajučšie, s otricaniem i drugie), a takže za sčet analogičnych slovarej o slučajach, mestach, vremenach i točkach zrenija. Dajutsja algoritmy diagrammnogo kontrolja nad opredelenijami, klassifikaciej, postroeniem suždenij i algoritmy polučenija sledstvij iz proizvol′no zadannogo čisla suždenij osnovanija s proizvol′no zadannoj složnost′ju terminov.