Глава вторая
2.1.Законы логики суждений
Автор, излагая данный материал, хочет показать всю простоту аналитических выводов данных законов, следовательно, и их никчёмность: незачем заучивать десятки правил, если доказательство столь примитивно. Всё дело в том, что в классической логике доказательство построено на громоздком аппарате таблиц истинности и словесной казуистике[9].Трудно назвать грамотным такое решение проблемы. Инженерная логика использует более совершенный инструмент для анализа и синтеза законов[26].
Алгоритм «Импульс» анализа законов логики суждений.
Алгоритм анализа законов логики суждений чрезвычайно прост:
1)произвести замену всех знаков импликации на символы дизъюнкции в соответствии с известной формулой x y = x’ + y;
2)привести полученное выражение к ДНФ;
3)занести ДНФ в карту Карно и убедиться, что она вся покрыта единицами – это свидетельствует о истинности проверяемого закона или суждения.
Воспользуемся перечнем законов из [9] для апробации алгоритма «Импульс».
1.Закон исключённого третьего: p или неверно, что p.
В переводе на язык логики этот закон выглядит так: p + p’ = 1.Это тривиальное равенство, не требующее доказательства.
2.Закон непротиворечивости: неверно, что [р и не р].
На языке логики: p & p’ = 0. Это равенство верно по определению.
3.Закон двойного отрицания: если [не (не р)], то р.
Необходимо доказать, что (p’)’ p = 1.Доказательство основано на двойном отрицании и импликации: (p’)’ p = p p = p’ + p = 1.
4.Обратный закон двойного отрицания: если р, то [не (не р)].
p (p’)’= p’ + p = 1.
5.Закон контрапозиции: если(если р, то q), то [если(не q), то(не р)].
(p q) (q’ p’) = (p’ + q) (q + p’) = pq’ + p’ + q = 1.
6.Законы, характеризующие конъюнкцию.
6.1.Если (р и q), то (q и р): pq qp = (pq)’ + pq = 1.
6.2.Если (р и q),то р: (pq) p = (pq)’ + p = p’ + q’ + p = 1.
6.3.Если р и q, то q: (pq) q = (pq)’ + q = p’ + q’ + q = 1.
6.4.Если р, то [если q, то (p и q)]: p (q pq) = p’ + q’ + pq = 1.
7.Законы импликативных силлогизмов.
7.1.Если [(если р, то q) и (если р,то r)], то [если р, то(q и r )].
[(p q)(p r)] (p qr) = [(p’ + q)(p’ + r)]’ + p’ + qr =
= (p’+qr)’+p’+qr = 1.
7.2.Если [(если р, то q) и (если r,то s)],то [если(р и r),то (q и s)].
[(pq)(rs)] (prqs) = [(p’+q)(r’+s)]’+p’+r’+qs = pq’+rs’+p’+r’+qs = 1.
7.3.Если [(если р, то q) и (если q, то r)],то (если р, то r).
[(pq)(qr)] (pr) = pq’+qr’+p’+r = 1.
7.4.Если [(если р, то q) и (если r, то q)],то [если (р или r), то q].
[(pq)(rq)] [(p+r) q] = pq’+rq’+p’r’+q = 1.
8.Законы, характеризующие дизъюнкцию.
8.1.Если (р или q), то (q или p).
(p+q) (q+p) = (p+q)’+(p+q) = 1.
8.2.Если (р или q), то (если не р, то q).
(p+q) (p’q) = p’q’+p+q = 1.
Как видит читатель, такие законы можно «изобретать» и доказывать десятками. Во всех выводах применялась аналитическая минимизация логических функций. Однако значительно проще для этой цели использовать карты Карно.
Безусловно, доказательство истинности того или иного суждения, закона, правила и т.п. весьма важно, но значительно интереснее и важнее выяснение всех возможных заключений, которые могут последовать из заданных посылок. Для этой цели служит алгоритм «Импульс-С».
Алгоритм «Импульс-С» синтеза импликативного заключения.
Алгоритм инженерного синтеза импликативных силлогизмов по заданным посылкам немногим отличается от предыдущего алгоритма:
1)найти полную единицу системы М посылок, заменив импликацию по формуле x y = x’ + y;
2)привести полученное выражение к ДНФ;
3)подставляя в полученное выражение необходимые аргументы и отбрасывая лишние, т.е. заменяя их логической единицей, выводим соответствующие заключения как функции интересующих нас аргументов. Если в результате подстановки будет получена единица, то заключение является частноутвердительным.
Пример.
Пусть известно, что [(pq)(qr)]. Найти заключение f(q,r).
Решение.
По алгоритму «Импульс-С» имеем:
M = (pq)(qr) = (p’+q)(q’+r).
M = (p’+q)(q’+r) = p’q’+p’r+qr = p’q’+qr.
f(q,r) = M(q,r) = q’+qr = q’+r = q r.
Задача 2.1.1.
Рассмотрим задачу из [7] о крокодиле. Когда крокодил похитил ребёнка одной египтянки и та попросила его не есть ребёнка, то крокодил ответил: " Я верну тебе ребёнка, если ты отгадаешь, что я с ним сделаю". Найти ответ египтянки.
Решение.
В [7] даётся пространное, на 5 страницах, словесное толкование различных ситуаций. Решим эту задачу аналитически.
Обозначим через х - "крокодил съест ребёнка", через у - ответ египтянки: " Ты съешь ребёнка". Тогда условие крокодила будет описано следующей формулой:
[(xy)x'][(xy)x] = ((xy)+x’)((xy)+x) =
= (xy'+x'y+x')(x'y'+xy+x) = (x'+y')(x+y') = y'.
Следовательно, условие крокодила непротиворечиво лишь при ответе: " Ты не съешь ребёнка". Значит, египтянка должна ответить: " Ты съешь ребёнка" - тогда крокодил умрёт от противоречий.
Аналогично решается задача о путнике на мосту, которого за правдивый ответ должны повесить, а за ложный - утопить.
Задача 2.1.2.
В тёмной комнате находятся 3 мудреца. На столе лежат 2 белых и 3 чёрных шляпы. Каждый мудрец надевает наугад одну из шляп, затем все "кильватерной колонной" выходят в освещённое помещение. 3-й мудрец видит шляпы 1-го и 2-го мудрецов, 2-й - только шляпу 1-го. На вопрос о цвете шляп 3-й и 2-й мудрец ответили: " Не знаю". Что сказал 1-й мудрец ?
Решение.
Пусть х1, х2, х3 означают, что чёрные шляпы надеты соответственно 1-м, 2-м и 3-м мудрецами. Ответ 3-го мудреца означает, что на 1-м и 2-м - не белые шляпы, что соответствует выражению (х1' х2')'. Если бы на первом мудреце была белая шляпа, то 2-й по ответу 3-го определил бы, что на нём чёрная шляпа. Т. к. 2-й мудрец не нашёл ответа, то имеем (х1')' = х1. В итоге получим: (х1' х2')'х1 = (х1 + х2)х1 = х1. Значит, на первом мудреце чёрная шляпа, а на втором могла быть любая шляпа.
Задача 2.1.3.
В [48,стр. 432] приведена аксиоматическая система Фреге. Непонятно, почему эта система носит название аксиоматической. Аксиома – это исходное положение, принимаемое без доказательств при дедуктивном построении теории (“Толковый математический словарь” – М.: Рус. яз., 1989 – 244с.). Докажем все “аксиомы” с помощью алгоритма “Импульс”.
M = a (b a) = a’+b’+a = 1
M = (c (ab)) ((ca) (cb)) = (c’+a’+b) (a’c+c’+b) =
(c’+a’+b) (a’+c’+b) = 1
M = (a(bc)) (b(ac)) = (a’+b’+c) (b’+a’+c) = 1
M = (ab) (b’ a’) = (a’+b) (a’+b) = 1
a’’ a = a’+a = 1
a a’’ = a’+a = 1
Таким образом, мы подтвердили корректность всех “аксиом “ Фреге. Аксиомами их считать можно лишь при полном незнании математической логики.
Арнольд Гейлинкс – бельгийский логик и философ(1625-1669гг) доказал правила де Моргана:
ab a+b
(a b)’ (b’ a’)’
(bc)(ac)’ (ab)’
(ab)(ac)’ (bc)’
ab’ (ab)’
Докажем эти правила современными методами (алгоритм “Импульс”).
ab a+b = (ab)'+a+b = a'+b'+a+b = 1
(a b)' (b'a')' = (a b)+(b+a')' = (a'+b)+(a'+b)' = 1
(bc)(ac)' (ab)' = bc'+a'+c+ab' = 1
(ab)(ac)' (bc)' = ab'+a'+c+bc' = 1
ab' (ab)' = (a'+b)+(a'+b)' = 1
Позднеримский философ Боэций (480-524) [48, стр. 100] выявил следующее соотношение: (x y) (x’y’ xy x’y). Классическая логика доказывает этот закон с помощью таблиц истинности, что и громоздко, и непрофессионально. С помощью РЛ доказательство укладывается в одну строчку.
(x y) (x’y’ xy x’y) = (x’+y) [(x’y’+xy) x’y] = (x’+y) (x’+y).
Задача 2.1.4.
В [48,стр.284] приводится закон замкнутых (гауберовых) систем: (ab)(cd)(ef)(bd’)(df’)(fb’)(a+c+e) (a’b’)(c’d’)(e’f’).
Проверим его состоятельность.
Решение.
По алгоритму “Импульс” получим следующие соотношения.
М = (ab)(cd)(ef)(bd’)(df’)(fb’)(a+c+e) (a’b’)(c’d’)(e’f’) = = (a’+b)(c’+d)(e’+f)(b’+d’)(d’+f’)(f’+b’)(a+c+e) (a+b’)(c+d’)(e+f’) =
= ab’+cd’+ef’+bd+df+bf+a’c’e’+ad’e+ad’f’+b’d’e+b’d’f’+b’ce+b’cf’+acf’ = 1.
Таким образом, мы доказали истинность закона. Однако проверим его физическую реализуемость. Ведь совершенно ясно, что (ab) (a’b’) 1. Поэтому проверим, какие выводы на самом деле следуют из заданных посылок. По алгоритму “Импульс - C” найдём полную единицу системы, а из неё сможем получить любые интересующие нас функции от необходимых аргументов.
М=(ab)(cd)(ef)(bd’)(df’)(fb’)(a+c+e)= (a’+b)(c’+d)(e’+f)(b’+d’)(d’+f’)(f’+b’)(a+c+e)
M’ = ab’+cd’+ef’+bd+df+bf+a’c’e’
После занесения M’ в карту Карно и заполнения оставшихся пустыми клеток карты единицами получим:
M = a’b’c’d’ef+a’b’cde’f’+abc’d’e’f’, откуда
M(a,b) = a’b’+ab = (a b)
M(c,d) = c’d’+cd = (c d)
M(e,f) = e’f’+ef = (e f)
Это отнюдь не согласуется с выводами Гаубера. Для большей наглядности проиллюстрируем закон замкнутых систем скалярными диаграммами. В формуле полной единицы М мы получили три набора. Изобразим эти наборы в виде скаляров: М = 000011+001100+110000. Каждая единица набора изображается утолщённой линией.
Графические результаты подтверждают наши аналитические выкладки. Функции импликации и равнозначности не идентичны. Как будет показано в дальнейшем, импликация аналогична силлогистическому общеутвердительному функтору. Поэтому результаты Гаубера некорректны. Суть его ошибки заключается в том, что были заданы очень жёсткие исходные условия, которые могут быть выполнены лишь с некоторыми ограничениями. Исправим ошибки Гаубера – получим:
|
