Каждое из простых высказываний, как мы помним, может принимать два возможных значения: "истинно" или "ложно", и в зависимости от семантического значения переменных, составленные из них сложные сообщения будут принимать разные значения. Теперь нам предстоит научиться вычислять истинностное (семантическое) значение сложных высказываний, записанных в виде формулы.
Существует несколько способов разрешать формулы, то есть устанавливать, истинно или ложно выражение при разных наборах значений пропозициональных переменных. Наиболее простым и удобным является метод нуля и единицы.
Возьмем какое-нибудь конкретное высказывание, допустим, такое: "Если получу стипендию, то куплю себе учебник по логике, и, если не получу стипендию, то учебник по логике покупать не стану". Обозначим через p простое высказывание "Получу стипендию" и через q - "Куплю учебник по логике". Тогда формула для этого выражения будет выглядеть так:
(p => q) /\ (-p => -q ).
Предположим, далее, что на самом деле учебник не был куплен, хотя стипендия была получена. На языке символической логики это означает, что высказывание p является истинным (p=1), а высказывание q - ложным (q=0). В данном случае само собой понятно, что сделанное заявление о покупке учебника при получении стипендии не соответствует реальным делам, следовательно, ложно. Но нам надо получить этот результат с помощью подсчета (так, чтобы к нему могла бы прийти и машина). Для разрешения данной формулы надо сначала подставить в нее вместо буквенных переменных их цифровые значения. Тогда получим:
(1 => 0) /\ (-1 => -0 ).
Теперь надо поэтапно упрощать выражение. Сначала проведем отрицания внутри скобок. Поскольку в таблице истинности отрицание обозначено как -p, то для вычисления выражения 1 надо найти в столбце для p ту строку, где стоит 1 (первая строка), и найти после этого цифру, которая ей соответствует в столбце -p. В этом месте находится нуль: отрицание истинного высказывания дает высказывание ложное. Значит, отрицание единицы можно заменить на нуль. Аналогично отрицание нуля можно заменить на единицу остальную же часть формулы пока просто перепишем без изменений:
(1 => 0) /\ (0 => 1).
Следующим шагом мы должны вычислить две импликации. Для разрешения выражения (1 => 0) надо найти ту строку, где p=1, а q=0 (третья строка) и посмотреть, какая ей соответствует цифра в колонке p => q, то есть импликации (там стоит цифра нуль); значит выражение (1 => 0) можно заменить на 0. Для (0 => 1) берем вторую строку, где p=0, а q=1; в колонке импликации в этой строке стоит цифра 1. Значит выражение (0 => 1) можно заменить на 1. Тогда формула сведется к конъюнкции:
0 /\ 1,
0.
которая вычисляется аналогичным образом и, в конечном счете, заменяется на нуль.
Вычисление показывает, следовательно, что высказывание о покупке учебника (записанное у нас в виде формулы (p => q) (-p => -q ), не соответствует реальным обстоятельствам, выраженным через истинностные значения переменных (p=1, q=0). Это надо понимать так: тот, кто сделал заявление, выраженное просчитанной нами формулой, не сдержал своего слова, коль его реальные дела выражаются взятыми нами для примера значениями переменных.
Читатель может проверить истинность этого заявления и при других значениях переменных. Поскольку их всего две, то возможных наборов четыре - столько же, сколько и у простых союзов.
Результаты сведены здесь в таблицу 2. Из нее видно что, если бы высказывание сопровождалось приобретением учебника, несмотря на то, что стипендия не была получена (вторая строка), то его слова надо было бы признать не соответствующими делам. В то же время его высказывание является истинным, если стипендии не было и учебник не был куплен (последняя строка). Тем более его высказывание не является ложным, если после получения стипендии учебник был куплен (первая строка).
Другое по теме:
Мыслительная деятельность, ее общая характеристика и стадии
Когда в создавшейся проблемной ситуации возникает задача, не имеющая готового решения - появляется мышление. Такая задача может выступать как цель деятельности, например задача — раскрыть преступление, установить истину по делу. Чтобы ак ...
Диагностическая и функциональная школы социальной работы.
М.Ричмонд
— одна из основательниц профессиональной социальной работы в XX в. Ее вклад в становление социальной работы связан с обоснованием научных подходов в теории и практике организационной работы, а также с открытием профессионал ...
Профессиональная мобильность личности
Современное российское общество, политические и социально-экономические изменения, развитие рыночных отношений породили новые требования к работнику. "Развивающемуся обществу нужны современно образованные, нравственные, предприимчивы ...
Меню сайта