Доказательство методом аналитических таблиц «слабых» модусов аристотелевской силлогистики

Силлогистика, силлогизм, метод аналитических таблиц, 1. бочаров, в. а. введение в логику / в. а. бо- чаров, в. и. маркин. - м. : ид "форум" : инфра- м, 2008. - 560 с, 2. задорин, в. в. однокванторная силлогис- тика и метод аналитических таблиц / в. в. задо- рин // современная логика: проблемы теории и истории : материалы хi междунар. конф., г. санкт-петербург, 24-26 июня 2010 г. - спб., филос. социол. и соц. технол. - 2010. - № 1 (11). - с. 46-50, 2010. - с. 439-442, 3. задорин, в. в. 16 двухтерминных модель- ных схем аристотелевской силлогистики / в. в. за- дорин // вестн. волгогр. гос. ун-та. сер. 7, 4. мельников, в. н. логические задачи / в. н. ме- льников. - к. ; одесса : выща шк., 1989. - 344 с, 5. субботин, а. л. теория силлогистики в со- временной формальной логике / а. л. субботин. - м. : наука, 1965. - 123 с