Практикум по логике суждений

Краткая справка

Логика суждений

Алгоритм "Импульс"(анализ законов логики суждений):

1. произвести замену всех знаков импликации на символы дизъюнкции в соответствии с известной формулой x -> y = x' + y;
2. привести полученное выражение к ДНФ;
3. занести ДНФ в карту Карно и убедиться, что она вся покрыта единицами - это свидетельствует о истинности проверяемого закона или суждения.

Алгоритм "Импульс-С"(синтез импликативных силлогизмов)

Алгоритм инженерного синтеза импликативных силлогизмов по заданным посылкам немногим отличается от предыдущего алгоритма:

1. найти полную единицу системы М посылок, заменив импликацию по формуле x -> y = x' + y;
2. привести полученное выражение к ДНФ;
3. подставляя в полученное выражение необходимые аргументы и отбрасывая лишние, т.е. заменяя их логической единицей[30], выводим соответствующие заключения как функции интересующих нас аргументов. Если в результате подстановки будет получена единица, то однозначного заключения не существует.

Строго говоря, каждая единица в этом случае должна быть заменена на i.

Задача 1

Проверить основные законы логики суждений[5].

Решение

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)]. [(p->q)(r->s)] -> (pr->qs) = [(p'+q)(r'+s)]'+p'+r'+qs = pq'+rs'+p'+r'+qs = 1.7.3.Если [(если р, то q) и (если q, то r)],то (если р, то r). [(p->q)(q->r)] -> (p->r) = pq'+qr'+p'+r = 1.7.4.Если [(если р, то q) и (если r, то q)],то [если (р или r), то q]. [(p->q)(r->q)] -> [(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.

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

Задача 2

Рассмотрим задачу из [5] о крокодиле. Когда крокодил похитил ребёнка одной египтянки и та попросила его не есть ребёнка, то крокодил ответил: " Я верну тебе ребёнка, если ты отгадаешь, что я с ним сделаю". Найти ответ египтянки.

Решение

В [5] даётся пространное, на 5 страницах, словесное толкование различных ситуаций. Решим эту задачу аналитически.

Обозначим через х - "крокодил съест ребёнка", через у - ответ египтянки: " Ты съешь ребёнка". Тогда условие крокодила будет описано следующей формулой:

[(x~y)->x'][(xÅ y)->x] = ((xÅ y)+ x')((x~y)+x) == (xy'+x'y+x')(x'y'+xy+x) = (x'+y')(x+y') = y'

Следовательно, условие крокодила непротиворечиво лишь при ответе: " Ты не съешь ребёнка". Значит, египтянка должна ответить: " Ты съешь ребёнка" - тогда крокодил умрёт от противоречий.

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

Задача3

В тёмной комнате находятся 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' х2)'. В итоге получим: (х1' х2')'(х1' х2)' = (х1 + х2)(х1 + х2') = х1. Значит, на первом мудреце чёрная шляпа.

Задача 4

В [25,стр.284] приводится закон замкнутых (гауберовых) систем. Проверим его состоятельность.

Решение

По алгоритму "Импульс" получим следующие соотношения

М = (a->b)(c->d)(e->f)(b->d')(d->f')(f->b')(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.

Таким образом, мы доказали истинность закона. Однако проверим его физическую реализуемость. Ведь совершенно ясно, что (a->b) -> (a'->b') ¹ 1. Поэтому проверим, какие выводы на самом деле следуют из заданных посылок. По алгоритму "Импульс - C" найдём полную единицу системы, а из неё сможем получить любые интересующие нас функции от необходимых аргументов.

М = (a->b)(c->d)(e->f)(b->d')(d->f')(f->b')(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. Каждая единица набора изображается утолщённой линией.

a ---------------======== b ---------------======== c -------========-------- d -------========-------- e =======---------------- f =======---------------- 000011 001100 110000

Графические результаты подтверждают наши аналитические выкладки. Функции импликации и равнозначности не идентичны. Как будет показано в дальнейшем, импликация аналогична силлогистическому общеутвердительному функтору. Поэтому результаты Гаубера некорректны. Суть его ошибки заключается в том, что были заданы очень жёсткие исходные уловия, которые могут быть выполнены лишь с некоторыми ограничениями.

Задача 5

В [29,стр. 432] приведена аксиоматическая система Фреге. Непонятно, почему эта система носит название аксиоматической. Аксиома - это исходное положение, принимаемое без доказательств при дедуктивном построениее теории("Толковый математический словарь" - М.: Рус.яз., 1989 - 244с.). Докажем все "аксиомы" с помощью алгоритма "Импульс".

M = a -> (b -> a) = a'+b'+a = 1M = (c -> (a->b)) -> ((c->a) -> (c->b)) = (c'+a'+b) -> (a'c+c'+b) = = (c'+a'+b) -> (a'+c'+b) = 1M = (a->(b->c)) -> (b->(a->c)) = (a'+b'+c) -> (b'+a'+c) = 1M = (a->b) -> (b'-> a') = (a'+b) -> (a'+b) = 1a'' -> a = a'+a = 1a -> a'' = a'+a = 1

Таким образом, мы подтвердили корректность всех "аксиом " (теорем?) Фреге.

Арнольд Гейлинкс - бельгийский логик и философ(1625-1669гг) доказал правила де Моргана:

ab -> a+b(a -> b)' -> (b' -> a')'(b->c)(a->c)' -> (a->b)'(a->b)(a->c)' -> (b->c)'ab' -> (a->b)'

Докажем эти правила современными методами(алгоритм Импульс").

ab -> a+b = (ab)'+a+b = a'+b'+a+b = 1(a -> b)' -> (b'->a')' = (a -> b)+(b+a')' = (a'+b)+(a'+b)' = 1(b->c)(a->c)' -> (a->b)' = bc'+a'+c+ab' = 1(a->b)(a->c)' -> (b->c)' = ab'+a'+c+bc' = 1ab' -> (a->b)' = (a'+b)+(a'+b)' = 1

Позднеримский философ Боэций (480-524) [29, стр. 100] выявил следующее соотношение: (x -> y) є (x'y'ÅxyÅx'y). Классическая логика доказывает этот закон с помощью таблиц истинности[8, стр. 100], что и громоздко, и непрофессионально. С помощью алгоритма "Импульс" доказательство укладывается в две строчки.

Задача 6(Лобановой С.В.)

При синтезе функции переноса в одноразрядном сумматоре получается выражение:

p1 = a(bÅp0)+ab,

где а,b - складываемые числа, p0 и p1 - входной и выходной переносы. После минимизации получается функция p1 = a(b+p0)+ab. Казалось бы, что (bÅp0) = (b+p0).

Проверить истинность суждения:

[(a(bÅp0)+ab) = [(a(b+p0)+ab)] -> [(bÅp0) = (b+p0)].

Решение

Доказывать истинность

[(a(bÅp0)+ab) = [(a(b+p0)+ab)] -> [(bÅp0) = (b+p0)] = 1

достаточно муторно, поэтому рассмотрим общий случай, на его основе выведем общий закон, а на основе закона решим задачу Лобановой С.В.

Исходя из равенств y = ax+b, y = az+b проверить суждение

[(ax+b) = (az+b)] -> (x=z).

На основе алгоритма "Импульс" получаем

[(ax+b)=(az+b)]->(x=z) = (ax+b)Å(az+b)+(x=z) == (ax+b)(az+b) + b'(a'+x')+ (x=z) = b+axz+a'b'+b'x'+xz+x'z' = x'+z+a'+b ¹ 1.

Из этого закона ясно видно, что исходное суждение [(a(bÅp0)+ab) = [(a(b+p0)+ab)] -> [(bÅp0) ложно. Это было видно и без закона, на основании здравого смысла, однако его всегда нужно поддерживать строгими математическими доказательствами.

Прекрасным примером применения логики суждений для доказательства законов в различных областях науки являются задачи, предложенные Сергеем Леонидовичем Катречко[7]. Речь идёт о таких науках как математика, физика, химия, грамматика, богословие и др. Сам С. Л. Катречко традиционно решает эти задачи на основе рассуждений. Однако алгоритмы "Импульс" и "Импульс-С"[22, 24] существенно упрощают выводы.

Задача 7

Если равнодействующая всех сил, действующих на движущееся тело, не равна 0, то оно движется неравномерно или непрямолинейно, так как известно, что если эта равнодействующая равна 0, то тело движется равномерно и прямолинейно.

На этом примере покажем важность правильной и полной формулировки задачи.

Решение

Проверим это утверждение. Введём следующие обозначения:

X - равнодействующая всех сил равна 0, Y - движение равномерно,Z - движение прямолинейно.

Тогда по алгоритму "Импульс" получим:

(x -> yz) -> (x' -> (y'+z')) = (x'+yz) -> (x+y'+z') == x(y'+z')+x+y'+z' = x+y'+z' ¹ 1.

Т.е. мы доказали несостоятельность данного утверждения. Однако, это не согласуется с механикой. Дело в том, что в исходных условиях мы не отразили существование второго закона: если тело движется раномерно и прямолинейно, то равнодействующая всех сил, действующих на движущееся тело, равна 0. Отсюда получим следующее доказательство:

(x -> yz)(yz ->x) -> (x' -> (y'+z')) = (x'+yz)((yz)'+x) -> (x+y'+z')== x(yz)'+x'yz+x+y'+z' = 1.

В данном случае результат соответствует законам физики.

Задача 8

Если все посылки истинны и рассуждение правильно, то заключение правильно. В данном рассуждении заключение ложно. Значит, или рассуждение неправильно, или не все посылки истинны.

Решение

X - посылки истинны,Y - рассуждение правильно,Z - заключение верно.(xy -> z)z' -> (y'+x') = (x'+y'+z)z' -> (y'+x') = xy+z+y'+x' = 1.

Задача 9

Если в суффиксе данного полного прилагательного или причастия пишется два н, то они пишутся и в соответствующем наречии. Неверно, что в суффиксе данного наречия пишется два н. Следовательно, в суффиксе полного прилагательного или причастия, из которого образовалось наречие, пишется одно н.

Решение

X - в причастии два н,Y - в полном прилагательном два н,Z - в наречии два н. ((x+y) -> z)z' -> x'y' = (x'y'+z)z' -> x'y' = x'y'z' -> x'y' = x+y+z+x'y' = 1.

Мы доказали даже более сильное утверждение.

Задача 10

Бог или бессилен предотвратить зло, или он не желает предотвращать его(зло существует на Земле). Если бог всемогущ, то неверно, что он бессилен предотвратить зло. Если бог всеблаг, то неверно, что он не желает предотвращать зло. Следовательно, неверно, что бог всемогущ и всеблаг.

Решение

X - бог всемогущ,Y - бог всеблаг,U - зло существует,V - бог бессилен против зла,W - бог желает предотвратить зло.u(u -> (v+w'))(x -> v')(y -> w) -> (xy)' = = u(u'+v+w')(x'+v')(y'+w) -> (xy)' = u'+uv'w+xv+yw'+x'+y' = 1.

Таким образом, мы чисто аналитически(математически) доказали, что бог не всемогущ и не всеблаг(Это не означает, что мы решили богословскую проблему. В своё время о. Павел Флоренский на основе логики усомнился в священности Библии.

Задача 11

Если каждый раз в полдень солнце находится в зените и сейчас полдень, то сейчас солнце находится в зените.

Решение

X - сейчас полдень,Y - солнце в зените.(x -> y)x -> y = (x'+y)x -> y = xy -> y = x'+y'+y = 1.Однако обратное утверждение неверно:(x -> y)y -> x = (x'+y)y -> x = y -> x ¹ 1.Это заключение не согласуется со здравым смыслом.Ошибка вызвана тем, что X и Y связаны отношением эквивалентности,а не следования. Поэтому формальный вывод должен выглядеть так:(x» y)x -> y = (xy+x'y')x -> y = xy -> y = x'+y'+y = 1(x» y)y -> x = xy -> x = x'+y'+x = 1

Задача 12

Если нельзя получить воду, то неверно, что имеется в наличии водород и оксид магния. Если имеется углерод, но углекислого газа получить не удалось, то не было в наличии кислорода. Если имеется углекислый газ и вода, то можно получить углекислоту. Можно ли получить углекислоту, если имеется в наличии оксид магния, кислород, водород и углерод.

Решение

X - нет воды,Y - есть водород и оксид магния,Z - есть углерод,U - есть углекислый газ,V - есть кислород,W - есть углекислота.(x -> y')(zu' -> v')(ux' -> w) -> (yvz -> w) ==(x'+y')(z'+u+v')(u'+x+w) -> (y'+v'+z'+w) == xy+zu'v+ux'w'+y'+v'+z'+w = 1.

Да, можно получить углекислоту.

Задача 13

Он сказал, что придёт, если не будет дождя (а на его слова можно полагаться). Но идёт дождь. Значит, он не придёт.

Решение

X - он придёт,Y - нет дождя.(y -> x)y' -> x' = (y'+x)y' -> x' = y' -> x' = y+x' ¹ 1.

Т. е. он может придти и в дождливую погоду.

Задача 14

Джонс утверждает, что не встречал этой ночью Смита. Если Джонс не встречал этой ночью Смита, то либо Смит был убийцей, либо Джонс лжёт. Если Смит не был убийцей, то Джонс не встречал его этой ночью, а убийство было совершено после полуночи. Если убийство было совершено после полуночи, то либо Смит был убийцей, либо Джонс лжёт. Следовательно, убийцей был Смит.

Решение

X - Джонс не встречал Смита,Y - Смит - убийца,Z - убийство было совершено после полуночи.(x -> (y+x'))(y' -> xz)(z -> (y+x')) -> y == (x'+y)(y+xz)(z'+y+x') -> y =xy'+y'(x'+z')+xy'z+y = 1.

Т. е. Смит - убийца.

Задача 15

Если элементарная частица имеет античастицу или не относится к числу стабильных, то она имеет массу покоя. Следовательно, если элементарная частица не имеет массы покоя, то она относится к числу стабильных.

Решение

X - наличие античастицы,Y - частица нестабильна,Z - наличие массы покоя.((x+y) -> z) -> (z' -> y') = (x'y'+z) -> (z+y') ==(x+y)z'+z+y' = xz'+yz'+z+y' = 1.

Задача 16

Прямые a и b или параллельны, или пересекаются, или скрещиваются. Если прямые a и b лежат в одной плоскости, то они не скрещиваются. Прямые a и b лежат в одной плоскости и не пересекаются. Следовательно, прямые a и b параллельны.

Решение

X - прямые параллельны,Y - прямые пересекаются,Z - прямые скрещиваются,U - прямые лежат в одной плоскости.(xy'z'+x'yz'+x'y'z)(u -> z')uy' -> x ==(xy'z'+x'yz'+x'y'z)(u'+z')uy' -> x =(xy'z'+x'yz'+x'y'z)'+uz+u'+y+x = 1.

Задача 17

Если философ - дуалист, то он не материалист. Если он не материалист, то он диалектик или метафизик. Он не метафизик. Следовательно, он диалектик или дуалист.

Решение

X - дуалист,Y - материалист,Z - диалектик,U - метафизик.(x -> y')(y' -> (z+u))u' -> (z+x) == (x'+y')(y+z+u)u' -> (x+z) = xy+u'y'z'+u+x+z ¹ 1.

Следовательно, заключение неверно. А каков же правильный ответ? По алгоритму "Импульс - С" получим следующие результаты.

M = (x -> y')(y' -> (z+u))u' = (x'+y')(y+z+u)u'.M' = xy+u'y'z'+u.

Из карты Карно получим M = u'y'z+u'x'y. Откуда выводятся правильные заключения: f1(x,z) = x'+z; f2(y,z) = y+z.

Задача 18

Перед последним туром футбольного чемпионата сложилась турнирная ситуация, позволяющая утверждать следующее. Если "Динамо" проиграет свой последний матч, то в случае выигрыша "Спартака" он станет чемпионом. Если же "Спартак" выиграет матч и станет чемпионом, то "Торпедо" займёт второе место. В последнем туре первыми стали известны результаты встреч с участием "Динамо" и "Спартака": "Динамо" проиграло, а "Спартак" выиграл. Можно ли в этом случае, не дожидаясь результатов других встреч, утверждать, что "Спартак" стал чемпионом, а "Торпедо" заняло второе место?

Решение

A - выиграет "Динамо",B - выиграет "Спартак",C - "Спартак" - чемпион,D - "Торпедо" на втором месте.(a'b -> c)(bc -> d)a'b -> cd = (a+b'+c)(b'+c'+d)a'b +cd = 1

Задача 19

Докажите следующую теорему: если прямая k, принадлежащая плоскости P, не перпендикулярна прямой n, то она не перпендикулярна проекции m прямой n на плоскость P, если верна следующая теорема: если прямая k принадлежит плоскости P и перпендикулярна проекции m прямой n на плоскость P, то прямая k перпендикулярна прямой n.

Решение

X - k перпендикулярна m,Y - k перпендикулярна n.(x -> y) -> (y' -> x') = (x'+y) -> (y+x') = 1.

Как видите, можно доказывать теоремы, не владея стереометрией.

Задача 20

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

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

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

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

Проверить эти утверждения.

Решение

X - многоугольник правильный,Y - в многоугольник можно вписать окружность.(x -> y)x -> y = (x'+y)x -> y = xy -> y x'+y'+y = 1.(x -> y)y' -> x' = (x'+y)y' -> x' = x'y'+x' x+y+x' = 1.(x -> y)y -> x = (x'+y)y -> x = y -> x y'+x ¹ 1.

Действительно, в некоторые трапеции можно вписать окружность, но от этого они не станут правильными многоугольниками.

Задача 21

Если число делится на 4, то оно чётное. Число - чётное. Значит,оно делится на 4.

Решение

X - число делится на 4,Y - число чётное.(x -> y)y -> x = (x'+y)y -> x = y -> x = y'+x ¹ 1.

Задача 22

Если целое число больше 1, то оно простое или составное. Если целое число больше 2 и чётное, то оно не является простым. Следовательно, если если целое число больше 2 и чётное, то оно составное(здесь присутствует скрытая посылка).

Решение

x - число больше 1y - число простоеz - число составноеu - число больше 2 и чётное.

Скрытая посылка зыключена в том, что число может быть или простым, или составным, третьего не дано,т.е. y' = z.

(x -> (y+z))(u -> y')(y'=z) -> (u -> z) == (x'+y+z)(u'+y')(y'=z) -> (u'+z) =xy'z'+uy+yz+y'z'+u'+z = 1

Задача 23

Если бы он не пошёл в кино, то он не получил бы двойки. Если бы он подготовил домашнее задание, то не пошёл бы в кино. Он получил двойку. Значит, он не подготовил домашнее задание.

Решение

x - пошёл в киноy - получил двойкуz - подготовил домашнее задание.(x' -> y')(z -> x')y -> z' = (x+y')(z'+x')y -> z' == x'y+xz+y'+z' = 1.

Задача 24

Я люблю Бетти или я люблю Джейн. Если я люблю Бетти, то я люблю Джейн. Следовательно, я люблю Джейн.

Решение

х - люблю Беттиу - люблю Джейн(x+y)(x -> y) -> y = (x+y)(x'+y) -> y = y -> y == y'+y = 1.

Задача 25

Если аргументы некоторого рассуждения истинны, а его тезис не является таковым, то рассуждение не является правильным. Данное рассуждение правильно и его аргументы истинны. Следовательно, его тезис является истинным.

Решение

X - аргументы верныY - тезис веренZ - рассуждение верно.(xy' -> z')xz -> y = (x'+y+z')xz -> y = xyz -> y = x'+y'+z'+y = 1.

Задача 26

Докажите, что если натуральное число оканчивается на 0 и сумма цифр кратна 3, то само это число кратно 15. Используйте при этом следующие посылки: если число оканчивается на 0, то оно кратно 5; если сумма цифр числа кратна 3, то число кратно 3; если число кратно 3 и кратно 5, то оно кратно 15.

Решение

X - число кратно 5Y - число кратно 3Z - число кратно 15U - число оканчивается на 0V - сумма цифр числа кратна 3.(u -> x)(v -> y)((xy -> z) -> (uv -> z) = (u'+x)(v'+y)(x'+y'+z) -> (u'+v'+z) =ux'+vy'+xyz'+u'+v'+z = 1.

Задача 27

Если студент знает логику, то он сможет проверить выводимость формулы из посылки. Если студент не знает логику, но он прослушал курс "Логика" и освоил математический анализ в логике суждений, то он также сможет установить выводимость формулы. Значит, если студент или знает логику, или прослушал курс "Логика" и освоил матанализ в логике суждений, то он может проверить выводимость формулы из посылок.

Решение

X - знает логикуY - сможет проверить выводимость формулы из посылкиZ - прослушал курс логики и освоил матанализ в логике суждений.(x -> y)(x'z -> y) -> ((x+x'z) -> y) = (x'+y)(x+z'+y) -> (x'z'+y) = xy'+x'zy'+x'z'+y = 1.

Задача 28

Если каждое действительное число есть алгебраическое число, то множество действительных чисел счётно. Множество действительных чисел несчётно. Следовательно, не каждое действительное число есть алгебраическое число.

Решение

X - действительное числоY - алгебраическое числоZ - счётное множество чисел.((x -> y) -> (x -> z))(x -> z)' -> (x -> y)' = ((x'+y) -> (x'+z))(x'+z)' -> (x'+y)' = (xy'+x'+z)(x'+z)' -> xy' = (x'+y)xz'+x'+z +xy' = xyz'+x'+z+xy' = 1.

Задача 29

Курс акций падает, если процентные ставки растут. Большинство владельцев акций разоряется, если курс акций падает. Следовательно, если процентные ставки растут, то большинство владельцев акций разоряется.

Решение

X - курс акций падаетY - процентные ставки растутZ - акционеры разоряются.(y -> x)(x -> z) -> (y -> z) = (y'+x)(x'+z) -> (y'+z) = x'y+xz'+y'+z = 1

Задача 30

Если капиталовложения останутся постоянными, то возрастут правительственные расходы или возникнет безработица. Если правительственные расходы не возрастут, то налоги будут снижены. Если налоги будут снижены и капиталовложения останутся постоянными, то безработица не возрастёт. Следовательно, правительственные расходы не возрастут.

Решение

X - капиталовложения постоянныY - правительственные расходы растутZ - растёт безработицаU - снижаются налоги.(x -> (y+z))(y' -> u)(ux -> z') -> y' == (x'+y+z)(y+u)(u'+x'+z') -> y' =xy'z'+y'u'+xzu+y' ¹ 1.

Следовательно, заключение неверно.

Задача 31

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

Решение

X - осуждён судомY - лишён избирательных правZ - невменяем.(x -> y)(z -> y) -> (y' -> x'z') = (x'+y)(z'+y) -> (y+x'z') = xy'+zy'+y+x'z' = 1.

Задача 32

Если Джон - автор этого слуха, то он глуп или беспринципен. Следовательно, если Джон не глуп или не лишён принципов, то он не является автором этого слуха.

Решение

X - Джон - автор слухаY - Джон глупZ - Джон беспринципен.(x -> (y+z)) -> ((y'+z') -> x') == (x'+y+z) -> (yz+x') = xy'z'+yz+x' ¹ 1.

Задача 33

Если бог существует, то он всемогущ и всеблаг. Бог или бессилен предотвратить зло, или он не желает предотвращать его(зло существует на Земле). Если бог всемогущ, то неверно, что он бессилен предотвратить зло. Если бог всеблаг, то неверно, что он не желает предотвращать зло. Следовательно, неверно, что бог существует.

Решение

X - бог всемогущ,Y - бог всеблаг,Z - бог существует,U - зло существует,V - бог бессилен против зла,W - бог желает предотвратить зло.(z -> xy)u(u -> (v+w'))(x -> v')(y -> w) -> z' = = (z'+xy)u(u'+v+w')(x'+v')(y'+w) -> z' = = z(x'+y')+u'+uv'w+xv+yw'+z' = 1.

Мы строго математически доказали, что вера в бога ошибочна. Это верно при условии, что все наши посылки корректны.

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

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