Силлогистическая машина
СИЛЛОГИСТИЧЕСКАЯ МАШИ.НА по авт.св. 811245, о т л и ч а ющ а я с я тем, что,-с целью расширения функциональных возможностей путем обеспечения построения и проверки правильности силлогизмов от перйой до восьмой фигур силлогизма , в нее введены шесть коммутаторрв и шифратор номера фигуры силлогизма , первый выход которого подключен управляющим входам первого и второго кснлмутаторов, второй выход подключен к управляющим входам третьего и четвертого коьмутаторов, третий выход : пoдкJBOчeн к управляющим входам, пято .го и шестого коммутаторов, первая и вторая группы .выходов первого шифратора типа посылок соёданешл соответственно с.группами информационных входов первого и второго коммутахоров, выходы которых соединены соответственно с входами первого регистра типа посылок, первая .и вторая группы выходов второго шифратора типа посылок соединены соответственно с группами йнфop 4aциoниыx выходов третьего и четвертого ко «лутатОров,. выхода которых соещнены соо.тветст- I венно с входами второго регистра тиО ) па посылок, информационные входы пятого и шестого коммутаторов соединены соответственно с выходами регистра типа заключения, выходы подключвчы .соответственно к входг дешифратора типа заключения. .
(191 (11) СОЮЗ COBETCHHX .
ОНИ ПЮП
РЕСПУБЛИК
9(Я) G 06 F 15 00
ГОСУДАРСТВЕННЫЙ НОМИТЕТ СССР ПО ДЕЛАМ ИЗОБРЕТЕНИЙ И ОТНРЫТИЙ.
:ОПИСАНИЕ ИЗОБРЕТЕНИЯ к АВтОРсиОмъГ СВЩ етельстВУ (615 811245 (21) 3372387/18-24 (22) 30.12.81 (46) 23. 04. 83. Бюл. В15 (72) Н.С. Ънишин, Н.Г. Колесников и В.И. Тимофеева (71) Кубанский. государственный уни- верситет (53) 681.322(088.8) (56) 1. Авторское свидетельство СССР
Р 811245, кл. 606Т- 15/00, 1977 (прототип) . (54) (57) СИЛЛОГИСТИЧЕСКАЯ ИЩИНА по авт.св.9 811245, о т л и ч а ющ а я с я тем, что, с целью расширения функциональных возможностей путем обеспечения построения и проверки правильности силлогизмов от первой до восьмой фигур силлогизма,в нее введены шесть коммутаторов и шифратор номера фигуры силлогизма, первый выход которОго подключен щ управлякщим входам первого и второго коммутаторов, второй выход подключен к управлякщим входам третьего.н четвертого коммутаторов, третий выход подключен к управляющим входам пятого и шестого ком(утаторов, первая и вторая груйпы .выходов первого шифратора типа посылок .соединены соответственно с.группами информационных входов первого и второго коммутаторов, выходы которых соединены соот ветственно с входами первого регистра типа посылок, первая .и:вторая группы выходов второго шифратора типа посылок соединены соответственно с группами информационных входов третьего и четвертого .коммутаторов,. выходы которых соединены соответст- I венно с входами второго регистра типа посылок, информационные входы пятого и-шестого коммутаторов соединены соответственно с выходами регистра типа заключения, выходы подключены соответственно к входам Щ дешифратора типа заключения.
liaaL
10i3961
Изобретение относится к вычислительной технике и предназначено для использования в составе элект ронных вычислительных машин. (3BM ), решающих логические задачи при обработке массивов информации, а также в качестве учебных и справочных машин при построении силлогистических умозаключений.
По основному авт.св. Р 811245 известна силлогистическая машина, содержащая шифраторы типа посылок, устройство управления, дешифратор типа заключения, блок отображения, блок силлогического умножения, причем выходы дешифратора типа заключения соединены с входами блока отоб-: ражения, блок силлогического умножения содержит первый и второй регистры типа посылок, первый и второй блоки сравнения, семь дешифраторов, пер- 20 вый и второй счетчики, первую и вто. рую группу элементов И, два блока матриц элементов И, три двухвходовых элемента И, два коммутатора, элемент ИЛИНЕ, четыре элемента ИЛИ и регистр ти-.
25 па заключения, причем выходы 1-го шифратора типа посылок связаны с соответствующими входами j-го регистра типа посылок, выходы j -го регистра типа посылок связаны с первой З0 группой входов а --го блока сравнения, вторая группа входов которого подключена к выходам i-го дешифратора, входы которого связаны с соответствующими выодами 1 -го двоичного . 35 счетчика (i--1,2), управляющий вход первого счетчика соединен с выходом блока управления, а выходы 1 -го блока сравнения подключены соответственно к 1 -м входам первого двух- 40 входовЬго элемента И, выход которого соединен с первыми входами элементов И первой и второй групп и к первым входам j -х дешифраторов (j =3,4,5,6), второй и третий входы 45 третьего дешифратора подключены .к выходам первого и второго элементов
И первой группы, второй и третий входы четвертого дешифратора соединены с выходами третьего и четвертого элементов И второй группы, второй и третий входы пятого дешифратора соединены с выходами первого и второго элементов И второй группы, второй и третий входы шестого дешифратора соединены с выходами третьего и четвертого элементов И второй группы, выходы третьего и шестого дешифраторов подсоединены к входам первого блока матриц элементов И, выходы четвертого и пятого дешифраторов, 60 подключены к входам второго блока матриц элементов И, первые управляющие выходы первого и второго блоков матриц эЛементов И подключены к первому и второму. входам второго 65 лемента И, вторые управляющие выходы первого и второго блоков матриц элементов И подключены к первому и второму входам третьего элемента
И, информационные выходы первого блока матриц элементов И связаны с входами первого коммутатора, информационные выходы второго блока матриц элементов И связаны с входами второго коммутатора, а дополнительные выходы . -х дешифраторов подсоединены к входам элемента ИЛИ-НЕ, причем первый, второй-и третий информационные выходы первого и второго блоков матриц элементов И соединены с первой группой входов первого элемента ИЛИ, первая группа выходов первого и второго коммутаторов соединена с второй группой входов первого элемента ИЛИ, третий, четвертый и пятый выходы первого и второго блоков матриц элементов
И соединены с первой группой входов второго элемента ИЛИ, вторая группа выходов первого.и второго коммутаторов подключена к второй группе входов второго элемента ИЛИ, второй, пятый и шестой выходы первого и второго блоков матриц элементов И соединены с первой группой входов третьего элемента ИЛИ, третья группа. выходов первого и второго коммутаторов соединена с второй группой входов третьего элемента ИЛИ, седьмой и восьмой выходы первого и второго блоков матриц элементов И сое- . динены с.первой группой входов четвертого элемента ИЛИ, выходы первого, второго, третьего и четвертого элементов ЙЛИ связаны с входами седьмого дешифратора, выходы которого связаны с первой группой входов, регистра типа заключения, вторая группа входов которого соединена с выходом элемента ИЛИ-НЕ, а второй упрацЯяющий выход первого блока матриц элементов
И соединен с дополнительным входом первого и второго коммутаторов, выходы второго и третьего элементов И подключены к первому и второму дополнительнвм входам регистра типа заключения 11.
Недостатком устройства является то, что оно может строить или проверять правильность силлогизмов только по одной шестой фигуре. Всего же фигур силлогизма — восемь, от первой до восьмой.
Целью изобретения является расширение функциональных возможностей силлогистической машины, путем обеспечения построения и проверки правильности силлогизмов от первой до восьмой фигур силлогизма.
Поставленная цель достигается тем, что в машину введены шесть коммутаторов и шифратср номера фигу1013961
Коммутатор 15 имеет девять входс ю
20-25, 28,30,32 и 35 и шесть выходов
26,27,29,31,33 и 34 и содержит четыре трехвходовых элемента ИЛИ 45 и шесть элементов запрета 46. Входы элементов
ИЛИ 45 соединены со входами 21,23 и 25 — для первого; 28, 30 и 32 — для второго; 24,25,32 — для третьего;
22,23,30 — для четвертого. Их выходы связаны с входами запрета элементов
НЕ-И 46, а именно: первый — с четвер тым и пятым, второй — с первым; третий — с вторым и шестым; а четвертыйс третьим.
Дополнительно связаны. выходы элементов с прямыми входами других элементов HE-И 46 (выход первого - с входом пятого, выход третьего — с входом шестого). Пряьые входы остальных элементов НЕ-И 46 (от первого до четвертого) связаны с выходом
35 коммутатора 15. Выход пятого элемента НЕ-И 46 является выходом 26 коммутатора 15, выход первого элемента HE-И 46 - выходом 27, выход шестого - выходом 29, выход второговыходом 31, выход четвертого -,выходом 33, а выход четвертого элемента НЕ-И 46 является выходом 34 коммутатора 15. Таблица истинности для каждого из шести выходов коммутатора 15 при сигнале на входе 35, равном "1", представлена на фиг.7.
При нулевом значении сигнала на входе 35 все выходы равны "0". На входе ксммутатора 15 единичный уровень может быть не более чем на одном из входов 21-25, 28,30, 32 ° При единичном сигнале на входе 35 или отсутствии сигналов "1" на всех остальных восьми входах все выходы
26,27,29,31,33 и 34 коммутатора 15 имеют единичный уровень.
Блок 9 сравнения (фиг.5), представляет собой совокупность 16-ти двухвходовых элементов И 17, выходы ко,торых соединены с входами элемента ИЛИ 47. Входы (по одному одноименноь| от регистра 8 и дешифратора 10) связаны с двумя входами каждого элемента И 17, а выход элемента ИЛИ
47 является выходом блока 9 сравнения
Коммутатор 2 имеет 4 информационных входа и выхода и один управляющий вход. Он содержит по четыре элемента И 17, НЕ-И 46 и ИЛИ 18. Выходы последних являются выходами коммутатора 2. Входы последнего связаны с входами одноименных элементов И 17 и НЕ-И 46 (прямой вход). Управляющий вход коммутатора соединен с вторыми входами всех. элементов И 17 и HE-И 46.
Таблица истинности выходов шифратора 7 фигуры силлогизма в зависимости от номера фигуры силлогизма приведена на фиг.9. ры силлогизма, первый выход которого подключен к управляющим входам первого и второго коммутаторов, второй выход - подключен к управляющим входам третьего и четвертого коммутаторов, третий выход — к управляю5 щим входам пятого и шестого коммутаторов, первая и вторая группы выходов первого шифратора типа посылок соединены соответственно с группами информационных входов первого и второго коммутаторов, выходы которых соединены соответственно с входами первого регистра типа посылок, пер- вая и вторая группы выходов второго шифратора типа посылок соединены 15 соответственно с группами информационных входов третьего и четвертого коммутаторов, выходы которых соединены соответственно с входами второго регистра типа посылок, информа- 20 ционные входы пятого и шестого коммутаторов соединены соответственно с выходами регистра типа заключения, выходы подключены соответственно к входам дешйфратора типа заклю- 25 чения.
На фиг.1 изображена. блок-схема машины, на фиг.2О и 2о - схема блока силлогического умножения; на фиг.3 — схема блока матриц элементов И; на фиг.4 - схема коммутатора; на фиг.5 — схема блока сравнения; на фиг.б - схема коммутатора; на фиг.7 - 9 — таблицы, поясняющие работу машины.
Предлагаемое устройство содерЖит шифраторы 1 типа посылок, коммутаторы 2, блок 3 силлогического умножения, дешифратор 4 типа заключения, блок 5 отображения, блок б управле- 40 ния, шифратор 7 номера фигуры силлогизма, регистры 8 типа посылок, блоки 9 сравнения, дешифраторы 10, счетчики 11, дешифраторы 12, дешифратор
13, блок 14 матриц элементов И, коммутаторы 15, группы элементов И 16, элементы И 17, элемент ИЛИ 18, элемент ИЛИ-НЕ 19, входы-выходы 20-35, элементы ИЛИ 36, регистр 37 типа заключения,. входы-выходы 38-44, элементы ИЛИ 45, элементы НЕ-И 46, элемен- 50 ты ИЛИ 47.
Блок 14 содержит десять двухвходовых элементов И 17, девять из кото.рых расположены квадратом ЗхЗ, а один находится на его диагонали в нуле.вых ряду и столбце. Каждый из восьми входов связан со входами элементов
И, находящихся в одном ряду или столбце (таких столбцов, как и рядов
4).Выходы 20-25, 28, 30, 32 и 35
60 всех десяти элементов И являются выходами блока 14.Таблица номеров возбуждаемых выходов элементов И в зависимости от возбуждаемых входов приведена на фиг. б. 65
1013961
"1", если в наборе есть число(-1), и,."О", если его нет), имеем
0101010101010101. Аналогично, вторая посылка "Bce С есть В" может быть представлена диаграммой Венна, на которой поле П(са В)пусто. Остальные поля . поле I - CflB поле И - CAB поле III — СОВ могут быть либо пустыми, либо непустыми в зависимости от принятой в той или иной силлогистической системе трактовки общеутвердительной посылки. Кортеж имеет вид. «у„о у. у<) у, у, у4 6(О,Ц . Соответствующйй набор четырехбитовых кодов:(0000>,<0001>, «0010>, <00117, «1ООО>, «1001>, &010>, <101&). Последнему соответствует набор десятичных чисел )0,1,2,3,8, 9,10,11) и, окончательно, 16-разряд- 20 ный кодг0000111100001111. Если эти коды подать на входы блока 3 (причем некоторые разряды первого кода через коммутаторы,2, управляемые по входу высоким уровнем ("1"), что при-25 водит к тому, что разряды 3,4,11,12 поменяются с разрядами 5,6,13,14 попарно соответственно), то на выходе блока 3 появится код, который, пройдя через коммутаторы 2 (при этом выходные коммутаторы, управляемые по входу высоким уровнем ("1 ), переставят разряды 3,4,11,12 с 5,6, 13,14) будет таким 0101010101010101, что с тветствует набору десятичй- 35 чисел 0,2,4,6,8,10,12,14..Записывая каждое из этих чисел 4-разрядным кодом, имеем следующий набор /<0000>
<0010>., < 0100 >, « 0110>,<1000>,<10107, <1100 >, <1100>). Анализируя его, заме,чаем, что zopzez«Z
45 в ерно.
Построение силлогизма рассмотрено лишь по одной из восьми фигур силлогизма (а именно по первой фигуре).
Различные фигуры силлогизма отли- 50 чаются друг m. друга местом общего термина в обеих посылках и порядком следований крайних терминов в .заключении. Применительно к рассмотренной конструкции это отразится на нумерации полей П и Ш, однако использование коммутаторов 2 с управлением от шифратора 7 позволяет всегда свести силлогизм к эквивалентнощ силлогизму.
Словесная формулировка большинства типов посылок (заключения) затруднительная, а порой невозможна. Использование машины в составе ЭВИ, когда такая формулировка не требуется, а важно фактическое отношение между терминами, обладает преимущеСтвом вследствие возможности установления машиной отношения между двумя крайнимн терминами, если известно отношение каждого из них к третьему (общему) термину. Причем места общего и край1 него терминов в посылках -и заключении могут быть любыми (таких ситуаций, называемых фигурами,8).
Силлогистическая машина является средством автоматического получения логических следствий, позволяет иметь дело с более широким классом силлогизмов по сравнению с известной машиной в 8 раз -за счет увеличения числа фигур силлогизма во столько же раз.
ЭВМ, содержащая предлагаемую силлогистическую машину в качестве отдельного узла, выполняющего команду построения заключения силлогизма по любой фигуре, может оказаться весьма эффективной прн логической обработке массивов информации, хранящейся в базах данных.
Другой областью эффективного применения машины является построение и проверка правильности силлогизма, проводимые при обучении логике и воспитании умения строить логические . умозаключения учащимися, (школьниками, .студентами). Это улучшает качество знаний и эффективность преподавания за счет сокращения срока обучения этим .навыкам примерно на треть.
Возможен и справочный вариант использования машины. При этом время получения справки о правильности силлогизма.по любой фигуре сокращается в несколько раз.
1013961
1013961
10139б1
27
Z2
2У
1013961
Фиг.б
1013961
Составитель A. Жеренов
Редактор В. Данко Техред К.йыцьо . Корректор С. шекмар
Заказ 3006/58 Тираж 704 Подписное
ВНИИПИ. Государственного комитета СССР по делам изобретений и открытий
113035, Москва, Ж-35, Раушская наб., д. 4/5
Филиал ППП "Патент", r. Ужгород, ул. Проектная, 4
