Силлогизмы Л. Кэрролла для самостоятельного решения 2 страница

7.31

Ни один банкрот не богат.Некоторые купцы - не банкроты.---------------------------------------------------------------------Некоторые купцы богаты.

Решение

U - деловые люди. M - банкроты.X - богатые.Y - купцы.M = EmxIym' = x'+m'.F(x,y) = x'+i = Ix'y(5),

т.е. "Некоторые купцы не богаты". У Л.Кэрролла нет заключения.

7.32

Скучные люди невыносимы.Ни одного скучного человека не упрашивают остаться,когда он собирается уходить из гостей.---------------------------------------------------------------------Ни одного невыносимого человека не упрашивают остаться,когда он собирается уходить из гостей.

Решение

U - люди. M - скучные.X - невыносимые.Y - те, кого просят остаться.M = AmxEmy = (x+m')(m'+y') = xy'+m'.F(x,y) = xy'+i = Ixy'(3),

т.е. "Некоторых невыносимых людей не упрашивают остаться, когда они собираются уходить из гостей".

7.33

Все разумные люди ходят ногами.Все неразумные люди ходят на голове.---------------------------------------------------------------------Ни один человек не ходит на голове и ногах.

Решение

U - люди. M - разумные.X - ходящие ногами.Y - ходящие на голове.M = AmxAm'y = (x+m')(m+y) = mx+m'y.F(x,y) = x+y = Ax'y = Ay'x = Ex'y',

т.е. "Все не-ходящие на ногах ходят на голове, и все не-ходящие на голове ходят на ногах". Заключение Л.Кэрролла "Ни один человек не ходит ни вниз головой, ни вверх ногами" не следует из посылок, хотя и соответствует здравому смыслу.

7.34

Ни одна ручная тележка не комфортабельна.Ни один некомфортабельный экипаж не пользуется популярностью.---------------------------------------------------------------------Ни одна ручная тележка не пользуется популярностью.

Решение

U - экипажи. M - комфортабельные.X - ручные тележки.Y - популярные.M = ExmEm'y = (x'+m')(m+y') = m'y'+mx'.F(x,y) = x'+y' = Exy,

т.е. заключение правильно.

7.35

Ни одна лягушка не имеет поэтической внешности.Некоторые утки выглядят прозаично.---------------------------------------------------------------------Некоторые утки - не лягушки.

Решение

U - живые существа. M - с поэтической внешностью.X - лягушки.Y - утки.M = ExmIym' = m'+x'.F(x,y) = x'+i = Ix'y(5),

т.е. "Некоторые утки - не лягушки". Казалось бы, заключение противоречет здравому смыслу. Это связано с тем, что нам известно содержание терминов "лягушка" и "утка", и оно никак не задействовано в посылках. Если вместо них ввести "злокую кудру" и "бокрёнка", то всё сразу встанет на свои места. У Л.Кэрролла нет заключения.

7.36

Ни один император не зубной врач.Всех зубных врачей боятся дети.---------------------------------------------------------------------Ни одного императора дети не боятся.

Решение

U - личности. M - дантисты.X - императоры.Y - личности, которых боятся дети.M = ExmAmy = (m'+x')(m'+y) = x'y+m'.F(x,y) = x'y+i = Ix'y(3),

т.е. "Некоторых не-императоров боятся дети".

7.37

Сахар сладкий.Соль несладкая.---------------------------------------------------------------------Соль - не сахар.

Решение

U - бакалейные товары. M - сладкие.X - сахар.Y - соль.M = AxmAym' = (m+x')(y'+m') = my'+m'x'.F(x,y) = x'+y' = Exy,

т.е. заключение верно, а у Л.Кэрролла вновь "перебор": "Заключение неполно: пропущено суждение "Сахар - не соль". Что в лоб, что по лбу.

7.38

Каждый орёл умеет летать.Некоторые свиньи не умеют летать.---------------------------------------------------------------------Некоторые свиньи - не орлы.

Решение

U - живые сущетва. M - летающие.X - орлы.Y - свиньи.M = AxmIym = m+x'.F(x,y) = x'+i = Ix'y(5).

У Л.Кэрролла 3-й базис вместо 5-го.

8. Предположив, что каждый из приводимых далее наборов абстрактных суждений является набором посылок сорита, найти заключение.

Поиск заключений соритов будем вести по алгоритму "Осташков".

8.1

Ни одно c не есть d.Все a суть d.Все b суть c.

Решение

M = EcdAadAbc = (c'+d')(a'+d)(b'+c).

По формуле де Моргана получим M' = cd+ad'+bc'. В соответствии с M' занесём нули в карту Карно, а в пустые клетки запишем единицы. После минимизации полученной полностью определённой логической функции зафиксируем результат

M = a'b'c'+a'cd'+b'c'd.

Отсюда по алгоритму "Осташков" найдём все возможные заключения.

F1(a,b) = a'+b' = Eab,

что совпадает с результатом Л.Кэрролла. Далее определим оставшиеся два заключения, которых нет у знаменитого логика. Во всех своих соритах Л.Кэрролл всегда находил лишь одно заключение, что свидетельствует как о недостатках его методов, так и о недостаточности воображения. У Порецкого П.С. таких просчётов нет.

F2(a,c) = a'+c' = Eac.F3(b,d) = b'+d' = Ebd.

Разернув М в СДНФ, или выписав СДНФ из карты Карно, заполним сокращённую таблицу истинности для М, а по ней построим скалярную диаграмму.

abcd	_m_

a ------------------------------======== b ----------------------========-------- c --------------================-------- d -------=======----------------========

Скалярная диаграмма весьма наглядна: она не только даёт возможность вычислить все заключения, но и позволяет проверить исходные посылки, что повышает "помехоустойчивость" синтеза и достоверность полученных результатов.

Для соритов алгоритм "Осташков" может быть значительно упрощен и заменён алгоритмом "Суздаль": можно начать синтез непосредственно с построения скалярных диаграмм, предварительно выстроив посылки в определённом, "любимым" Кэрроллом, порядке. В данной задаче этот "любимый" Кэрроллом порядок выглядит так: AadEcdAbc. Такая последовательность посылок позволяет без труда однозначно выстроить скалярные диаграммы. Такой подход весьма эффективен при большом(более 6) количестве аргументов.

a ========------------------------------ b ------------------------------======== c ----------------------================ d =================---------------------

8.2

Все d суть b.Ни одно a не есть c'.Ни одно b не есть c.

Решение

M = AdbEac'Ebc = (d'+b)(a'+c)(b'+c') = AdbAacEbc. M' = b'd+ac'+bc. M = a'c'd'+a'bc'+b'cd'. F1(a,d) = a'+d' = Ead, что совпадает с результатом Л.Кэрролла. F2(a,b) = a'+b' = Eab.F3(c,d) = c'+d' = Ecd.

По алгоритму "Суздаль" получим:

AdbEbcAac. a ------------------------------======== b =================--------------------- c ----------------------================ d =======-------------------------------

8.3

Все b' суть a.Ни одно a не суть d.Все b суть c.

Решение

M = Ab'aEadAbc = (a+b)(a'+d')(b'+c). M' = a'b'+ad+bc'. M = ab'd'+acd'+a'bc. F1(c,d) = c+d' = Adc, что совпадает с результатом Л.Кэрролла. F2(a,c) = a+c = Aa'c.F3(b,d) = b+d' = Adb.

8.4

Ни одно c не есть d.Все b суть c.Ни одно a не есть d'.

Решение

M = EcdAbcEad' = (c'+d')(b'+c)(a'+d). M' = cd+ad'+bc'. M = ab'c'+a'cd'+b'c'd. F1(a,b) = a'+b' = Eab, что совпадает с результатом Л.Кэрролла. F2(a,c) = a'+c' = Eac.F3(b,d) = b'+d' = Ebd.

8.5

Все d суть e.Все c суть a.Ни одно b не есть d'.Все e суть a'.

Решение

По алгоритму "Суздаль" освободимся от лишних инверсий:

M = AdeAcaEbd'Aea' = AdeAcaEbd'Eae.

"Цепочка" получится в виде:

M = AbdAdeEaeAca.

По ней строим скалярные диаграммы сорита.

a -----------------------=============== b ====---------------------------------- c ----------------------------========== d =========----------------------------- e =============-------------------------

Непосредственно из скалярных диаграмм видны все возможные заключения. Их число равно 5*4/2 - 4 = 6.

F1(b,c) = Ebc, что совпадает с результатом Л.Кэрролла. F2(a,b) = Eab.F3(a,d) = Ead.F4(b,e) = Abe.F5(c,d) = Ecd.F6(c,e) = Ece.

8.6

Все c суть b.Все a суть e.Все d суть b'.Все a' суть c.

Решение

По алгоритму "Суздаль" освободимся от лишних инверсий:

M = AcbAaeAdb'Aa'c = AcbAaeEbdAa'c.

"Цепочка" получится в виде:

M = AcbEbdAa'cAae.

По ней строим скалярные диаграммы сорита.

a ================================------ b --------------------------============ c ----------------------------========== d =========----------------------------- e =================================-----

Непосредственно из скалярных диаграмм видны все возможные заключения. Их число равно 5*4/2 - 4 = 6.

F1(d,e) = Ade, что совпадает с результатом Л.Кэрролла. F2(a,b) = Aa'b.F3(a,d) = Ada.F4(b,e) = Ab'e.F5(c,d) = Ecd.F6(c,e) = A'ce.

8.7

Ни одно b не есть c.Все e суть h.Все a суть b.Ни одно d не есть h.Все e' суть c.

Решение

По алгоритму "Суздаль" имеем:

M = EbcAehAabEdhAe'c.

"Цепочка" получится в виде:

M =AehEdhAe'cEbcAab.

По ней строим скалярные диаграммы сорита.

a ------------------------------======== b ----------------------------========== c ==========================------------ d =========----------------------------- e ---------------------------=========== h --------------------================== F1(a,d) = Ead

получаем непосредственно из скалярных диаграмм. Аналогично могут быть получены остальные 9 заключений.

8.8

Ни одно d не есть h'.Ни одно c не есть e.Все h суть b.Ни одно a не есть d'.Ни одно b не есть e'.

Решение

По алгоритму "Суздаль" освободимся от лишних инверсий:

M = Ed'EceAhbEad'Ebe' = AdhEceAhbAadAbe.

"Цепочка" получится в виде:

M = AadAdhAhbAbeEce.

По ней строим скалярные диаграммы сорита.

a ===----------------------------------- b =============------------------------- c ----------------------------========== d =======------------------------------- e ===============----------------------- h ===========---------------------------

Из скалярных диаграмм непосредственно получаем F1(a,c) = Eac, что совпадает с результатом Л.Кэрролла. Аналогично могут быть получены остальные 9 заключений.

8.9

Все h' суть k'.Ни одно b' не есть a.Все c суть d. 12Все e суть h'.Ни одно d не есть k'.Ни одно b не есть c'.

Решение

По алгоритму "Суздаль" освободимся от лишних инверсий:

M = Ah'k'Eb'aAcdAeh'Edk'Ebc' = AkhAabAcdEehAdkAbc.

"Цепочка" получится в виде:

M = AabAbcAcdAdkAkhEeh.

По ней строим скалярные диаграммы сорита.

a ===----------------------------------- b ======-------------------------------- c ==========---------------------------- d =======------------------------------- e ------------------------------======== h ==================-------------------- k =============-------------------------

Из скалярных диаграмм непосредственно получаем F1(a,e) = Eae, что совпадает с результатом Л.Кэрролла. Аналогично могут быть получены остальные 14 заключений.

8.10

Все a суть d.Все k суть b.Все e суть h.Ни одно a' не есть b.Все d суть c.Все h суть k.

Решение

По алгоритму "Суздаль" освободимся от лишних инверсий:

M = AadAkbAehEa'bAdcAhk = AadAkbAehAbaAdcAhk.

"Цепочка" получится в виде:

M = AehAhkAkbAbaAadAdc.

По ней строим скалярные диаграммы сорита.

e ===----------------------------------- h ======-------------------------------- k ==========---------------------------- b ==============------------------------ a ==================-------------------- d ======================---------------- c =============================---------

Из скалярных диаграмм непосредственно получаем F1(e,c) = Aec, что совпадает с результатом Л.Кэрролла. Аналогично могут быть получены остальные 14 заключений.

8.11

Ни одно e не есть k.Ни одно b' не есть m.Ни одно a не есть c'.Все h' суть e.Все d суть k.Ни одно c не есть b.Все d' суть l.Ни одно h не есть m'.

Решение

По алгоритму "Суздаль" освободимся от лишних инверсий:

M=EekEb'mEac'Ah'eAdkEbcAd'lEhm'=EekAmbAacAh'eAdkEbcAd'lAhm

"Цепочка" получится в виде:

M = AhmAmbEbcAacAh'eEekAdkAd'l.

По ней строим скалярные диаграммы сорита.

a ------------------------------======== b ===========--------------------------- c --------------------------============ d ====---------------------------------- e -------=============================== h ===========--------------------------- k =====--------------------------------- l ---=================================== m =============-------------------------

Из скалярных диаграмм непосредственно получаем F1(a,l) = Aal, что совпадает с результатом Л.Кэрролла. Аналогично могут быть получены остальные 27 заключений.

8.12

Все n суть m.Все a' суть e.Ни одно c' не есть l.Все k суть r'.Ни одно a не есть h.Ни одно d не есть l'.Ни одно c не есть n.Все e суть b.Все m суть r.Все h суть d.

Решение

По алгоритму "Суздаль" освободимся от лишних инверсий:

M = AnmAa'eAlcEkrEahAdlEcnAebAmrAhd.

"Цепочка" имеет вид:

M=EahAhdAdlAlcEcnAnmAmrAa'eAebEkr.

По ней строим скалярные диаграммы сорита.

a ----------------------================ b ===============================------- c ==========---------------------------- d =====--------------------------------- e ==========================------------ h ===----------------------------------- k =====--------------------------------- l =======------------------------------- m ------------------==================== n -----------------------=============== r ------------==========================

Из скалярных диаграмм непосредственно получаем F1(b,k) = Akb, что совпадает с результатом Л.Кэрролла. Аналогично могут быть получены остальные заключения. Построенные диаграммы можно оспорить, поскольку в данном случае мы имеем дело не с соритом, а с полисиллогизмом. Это одно из возможных решений. В данной ситуации нужно было воспользоваться алгоритмом "Осташков", однако с картой Карно от 11 переменных возиться не захотелось, а подходящей программы минимизации на ПК под рукой не оказалось.

9. Предположив, что каждый из приводимых далее наборов конкретных суждений является набором посылок сорита, найти заключение.

9.1

Малые дети неразумны.Тот, кто может укрощать крокодилов, заслуживает уважения.Неразумные люди не заслуживают уважения.Вселенная -"люди", a = способные укротить крокодилов, b = малые дети, c = не заслуживающие уважения, d = разумные.

Решение

По алгоритму "Осташков" определим полную единицу системы М:

M = Abd'Aac'Ad'c = (b'+d')(a'+c')(d+c).M' = bd+ac+c'd'.

Заполним карту Карно нулями в соответствии с М', а в оставшиеся клетки впишем единицы. После минимизации получим:

M = a'b'd+b'c'd+a'cd'.F(a,b) = a'+b' = Eab.

Выпишем рабочие наборы из карты Карно в виде сокращённой таблицы истинности.

abcd	_m_

В соответствии с п.5 алгоритма "Осташков" построим диаграммы.

a ------------------------------======== b ---------------------=========-------- c -------------=================-------- d =====================---------========

Из диаграмм также f(a,b) = Eab, т.е. "Ни один ребёнок не способен укротить крокодила". Все остальные соотношения между терминами сорита легко могут быть найдены как из М, так и из диаграмм.

9.2

Мои кастрюли - единственные из принадлежащих мне вещей, которые сделаны из олова.Все ваши подарки чрезвычайно полезны.Ни от одной из моих кастрюль нет никакой пользы.Вселенная - "мои вещи", a = сделанные из олова, b = мои кастрюли, c = полезные, d = ваши подарки.

Решение

По алгоритму "Осташков" определим полную единицу системы М:

M = (b ~ a)EbcAdc = (ab+a'b')(b'+c')(d'+c).

Здесь необходимо подчеркнуть, что Кэрролл описывает первую посылку через общеутвердительный функтор, что некорректно по сути и кроме того допускается двоякая трактовка: Aab и Aba из-за аморфности формулировки суждения. Автор обязан абсолютно точно ставить "техническое задание". Этот недостаток Кэрролла чрезвычайно серьёзен.

M' = (ab'+a'b)+bc+c'd).

Заполним карту Карно нулями в соответствии с М', а в оставшиеся клетки впишем единицы. После минимизации получим:

M =a'b'(c+d')+abc'd'.F(a,d) = a'+d' = Ead,

т.е. "Ни один из ваших подарков - не оловянный".

Поскольку совокупность посылок удалось описать в виде сорита, то можно сразу изобразить его в виде диаграмм.

a ------------------------------======== b ------------------------------======== c =================--------------------- d ============--------------------------

Из диаграмм также f(a,d) = Ead.

9.3

Ни одна из молодых картофелин не была поджарена.Все картофелины на этой тарелке съедобны.Ни одна жареная картофелина не съедобна.Вселенная - "картофелины", a = жареные, b = съедобные, c = на этой тарелке, d = молодые.

Решение

По алгоритму "Осташков" определим полную единицу системы М:

M = EdaAcbEab = (a'+d')(b+c')(a'+b') = a'b+a'c'+b'c'd'.

Полученное выражение описывает полисиллогизм, поскольку однозначую диаграмму в этом случае нарисовать невозможно. Тем не менее попробуем всё-таки представить этот полисиллогизм на диаграммах. Вначале изобразим суждения Eab, затем Acb, а потом представим все ситуации, возможные в этом полисиллогизме для Eda.

a ========------------------------------ b --------------------------============ c -----------------------------========= d1 --------------------------------====== d2 ---------------------================= d3 ---------------------============----- d4 ------------------========------------

cd	F(c,d)
	i
	i
	i

Из диаграмм и таблицы истинности получим f(c,d) = Icd(3), т.е. "Некоторые картофелины не на этой тарелке - не молодые". Мы получили полное решение полисиллогизма, хотя по М можно было сразу получить одно из частных решений. Кстати все частные решения отражены на диаграммах Лобанова: Adc, Acd, Icd(8), Ecd. Л.Кэрролл в принципе не мог получить правильного результата, поскольку он не умеет решать полисиллогизмы.

9.4

Ни одна утка не танцует вальс.Ни один офицер не откажется протанцевать вальс.У меня нет другой птицы, кроме уток.Вселенная - "живые существа", a = утки, b = моя домашняя птица, c = офицеры, d = желающие танцевать вальс.

Решение

По алгоритму "Осташков" определим полную единицу системы М:

M = EadEcd'Aba = (a'+d')(c'+d)(b'+a) = AbaEadAcd.

Данное выражение является соритом, поскольку можно выстроить "цепочку Кэрролла": AbaEadAcd. Поэтому сразу построим диаграммы Лобанова.

a ------------------------============== b ------------------------------======== c =======------------------------------- d ============--------------------------

Из диаграмм также f(b,c) = Ebc, т.е. "Ни одна моя домашняя птица не является офицером". Ответы совпали.

9.5

Всякий, кто находится в здравом уме, может заниматься логикой.Ни один лунатик не может быть присяжным заседателем.Ни один из ваших сыновей не может заниматься логикой.Вселенная - "люди", a = способные заниматься логикой, b = те, кто может быть присяжным заседателем, c = находящиеся в здравом уме, d = ваши сыновья.

Решение

По алгоритму "Осташков" определим полную единицу системы М:

M = AcaEc'bEda = (c'+a)(c+b')(d'+a') = AcaAbcEad.M' = a'c+bc'+ad.

Из карты Карно получим:

M = a'b'c'+ab'd'+acd'.Отсюда f(b,d) = b'+d' = Ebd.

Данное выражение является соритом, поскольку можно выстроить "цепочку Кэрролла": AcaAbcEad. Поэтому сразу построим диаграммы Лобанова.

a ------------------------============== b ------------------------------======== c ---------------------------=========== d ========------------------------------

Из диаграмм также f(b,в) = Ebв, т.е. "Ни один мой сын не является присяжным заседателем". Разногласий с Кэрроллом нет.

9.6

В этой коробке нет моих карандашей.Ни один из моих леденцов - не сигара.Вся моя собственность, не находящаяся в этой коробке, состоит из сигар.Вселенная - "мои вещи", a = сигары, b = в этой коробке, c = карандаши, d = леденцы.

Решение

По алгоритму "Осташков" определим полную единицу системы М:

M = EbcEdaAb'a = (b'+c')(a'+d')(a+b) = Ab'aEdaEbc.

Данное выражение является соритом, поскольку мы сумели выстроить "цепочку Кэрролла": Ab'aEdaEbc. Поэтому сразу построим диаграммы Лобанова.

a ------------------------============== b ===================------------------- c ---------------------------=========== d ========------------------------------

Из диаграмм f(c,d) = Ecd, т.е. "Ни один из моих карандашей не леденец". Разногласий с Кэрроллом нет. Однако, если мы не поленимся и выведем соотношение между сигарами и карандашами, то получим f1(a,c) = Aca, т.е. "Все карандаши - сигары". В этом проявляется небрежность Кэрролла как составителя сорита, неумение синтезировать все возможные заключения и отсутствие наглядности в символическом методе великого логика.

9.7

Ни одного опытного человека нельзя считать некомпетентным.Дженкинс всегда допускает грубые ошибки в работе.Ни один компетентный человек не допустит грубых ошибок в работе.Вселенная - "люди", a = всегда допускающие грубые ошибки в работе, b = компетентные, c = опытные, d = Дженкинс.

Решение

По алгоритму "Осташков" определим полную единицу системы М:

M = Ecb'AdaEba = (c'+b)(d'+a)(b'+a') = AcbEbaAda.

Данное выражение является соритом, поскольку мы сумели выстроить "цепочку Кэрролла". Поэтому сразу построим диаграммы Лобанова.

a -------------------=================== b ===========--------------------------- c ========------------------------------ d ------------------------------========

Из диаграмм также f(c,d) = Ecd, т.е. "Дженкинс неопытен". Разногласий с Кэрроллом нет.

9.8

Ни один терьер не блуждает среди знаков Зодиака.То, что не блуждает среди знаков Зодиака, не может быть кометой.Только у терьера хвост колечком.Вселенная - "предметы", a = кометы, b = имеющие хвост колечком, c = терьеры, d = блуждающие среди знаков Зодиака.

Решение

По алгоритму "Осташков" определим полную единицу системы М:

M = (c ~ b)EcdAd'a' = (c ~ b)EcdAad.

Данное выражение является соритом, поскольку мы сумели выстроить "цепочку Кэрролла". Поэтому сразу построим диаграммы Лобанова.

a ------------------------============== b =========----------------------------- c =========----------------------------- d -------------------===================

Из диаграмм также f(a,b) = Eab, т.е. "Ни у одной кометы нет хвоста колечком". Разногласий с Кэрроллом нет.

9.9

Никто не станет выписывать газету "Таймс", если он не получил хорошего образования.Ни один дикобраз не умеет читать.Те, кто не умеет читать, не получили хорошего образования.Вселенная - "живые существа", a = умеющие читать, b = дикобразы, c = выписывающие газету "Таймс", d = получившие хорошее образование.

Решение

По алгоритму "Осташков" определим полную единицу системы М:

M = AcdEbaAa'd'= AcdAdaEba.

Данное выражение является соритом, поскольку мы сумели выстроить "цепочку Кэрролла". Поэтому сразу построим диаграммы.

a --------------------------============ b ========------------------------------ c --------------------------------====== d ------------------------------========

Из диаграмм также f(b,c) = Ebc, т.е. "Ни один дикобраз не выписывает газету "Таймс". Разногласий с Кэрроллом нет.

9.10

Все пудинги вкусны.Это блюдо - пудинг.Ни одно вкусное иблюдо не полезно.Вселенная - <<блюда>>, a = вкусные, b = пудинги, c = блюдо, d = полезные.

Решение

По алгоритму "Осташков" определим полную единицу системы М:

M = AbaAcbEad = AcbAbaEad.

Данное выражение является соритом, поскольку мы сумели выстроить "цепочку Кэрролла". Поэтому сразу построим диаграммы.

a -------------------=================== b ---------------------------=========== c ------------------------------======== d ========------------------------------

Из диаграмм также f(c,d) = Ecd, т.е. "Ни один дикобраз не выписывает газету "Таймс". Разногласий с Кэрроллом нет.

9.11

Когда мой садовник рассуждает на военные темы, его стоит послушать.Никто не может помнить битву при Ватерлоо, если он не очень стар.Того, кто не помнит битву при Ватерлоо, не стоит слушать, когда он рассуждает на военные темы.Вселенная - <<люди>>, a = те, кто может помнить битву при Ватерлоо, b = мой садовник, c = тот, кого стоит слушать, когда он рассуждает о войне.

Решение

По алгоритму "Осташков" определим полную единицу системы М:

M = AbcEad'Aa'c' = AbcAcaAad.

Данное выражение является соритом, поскольку мы сумели выстроить "цепочку Кэрролла". Поэтому сразу построим диаграммы.

a -------------------=================== b ---------------------------=========== c ------------------------------======== d ------------==========================

Из диаграмм также f(b,d) = Abd, т.е. "Мой садовник стар". Разногласий с Кэрроллом нет.

9.12

Все колибри имеют яркое оперение.Ни одна крупная птица не питается нектаром.Птицы,которые не питаются нектаром, имеют неяркое оперение.Вселенная - "птицы", a = колибри, b = крупные, c = питающиеся мёдом, d = с ярким оперением.

Решение

По алгоритму "Осташков" определим полную единицу системы М:

M = AadEbcAc'd' = AadAdcEbc.

Данное выражение является соритом, поскольку мы сумели выстроить "цепочку Кэрролла". Поэтому сразу построим диаграммы.

a =======------------------------------- b -----------------------------========= c ================---------------------- d ============--------------------------

Из диаграмм также f(a,b) = Eab = Aab', т.е. "Все колибри невелики". Разногласий с Кэрроллом нет.

9.13

Все утки в этой деревне, имеющие метку "Б", принадлежат миссис Бонди.Утки в этой деревне не носят кружевных воротничков, если не принадлежат миссис Бонди.У миссис Бонди в этой деревне нет серых уток.Вселенная - "утки в этой деревне", a = принадлежащие миссис Бонди,b = имеющие метку "Б", c = серые, d = носящие кружевные воротнички.

Решение

По алгоритму "Осташков" определим полную единицу системы М:

M = AbaAdaEca = (b'+a)(d'+a)(c'+a').M' = a'b+a'd+ac.Из карты Карно получим: M = ac'+a'b'd'.

Данное выражение является полисиллогизмом. Поэтому построим таблицу истинности для М.

abcd	_m_

a ------------------==================== b ---------------------------=========== c -----=============-------------------- d ---------------------======------=====

Из диаграмм также f1(c,d) = Ecd, т.е. "Ни одна серая утка не носит кружевных воротничков". Разногласий с Кэрроллом нет. Однако, если найти соотношение f2(b,d) = Ibd(8), то окажется, что,во-первых, Кэрролл не смог бы определить это заключение, а во-вторых, графический метод синтеза полисиллогизмов даёт более жёсткий результат: f2(b,d) = Ibd(3).

a ==============------------------------ b ===========--------------------------- c ----------------------------========== d1 --------------=========--------------- d2 ========------------------------------ d3 ================---------------------- d4 ---------============-----------------

9.14

Вся старая посуда на этой полке имеет трещины.Ни один горшок на этой полке не новый.Всё, что стоит на этой полке, пригодно для хранения воды.Вселенная - "посуда на этой полке", a = не протекающая, b = имеющая трещины, c = горшки, d = старые.

Решение

Третья посылка в этом полисиллогизме некорректна, поскольку на полке стоят старые горшки, не пригодные для хранения воды. Не будем фантазировать за Кэрролла, и простим ему эту небрежность.

9.15

Все незрелые фрукты неполезны.Все эти яблоки созрели.Ни один фрукт, выросший в тени, не зрелый.Вселенная - <<фрукты.>>, a = выросшие в тени, b = зрелые, с = эти яблоки,D = полезные.

Решение

По алгоритму "Осташков" определим полную единицу системы М:

M =Ab'd'AcbEab = (b+d')(c'+b)(a'+b') = AdbAcbEab.M' = b'd+b'c+ab.M = a'b+b'c'd'F1(c,d) = 1 = Icd(8).F2(a,c) = a'+c' = Eac.F3(a,d) = a'+d' = Ead.

Данное выражение является полисиллогизмом, поскольку мы не сумели выстроить "цепочку Кэрролла. Поэтому найдём частное решение. Выпишем рабочие наборы из карты Карно в виде сокращённой таблицы истинности.

abcd	_m_

В соответствии с п.5 алгоритма "Осташков" построим диаграммы.

Дата добавления: 2015-05-08