Нуль-единичная проверка истинности высказыванийСтраница 2
Легко увидеть, вникнув в содержание всего заявления, что именно так мы и сами оценили бы его истинность при всех перечисленных вариантах реальных обстоятельств.
Язык символической логики позволяет обнаруживать некоторые трудно уловимые нюансы в нашей речи. Возьмем высказывание "Будет свет, и если не будет света, то, значит, началась забастовка". Формула для него запишется таким образом: (p /\ (-p => q)), а семантические значения можно видеть в помещенной выше таблице 3. Может показаться странным, но в случае, если нет света, и идет забастовка (p=0, q=1), высказывание, как ни парадоксально, является ложным, хотя оно как будто прямо говорит, что при забастовке света не будет. Однако все станет понятно, стоит лишь переставить местами слова в высказывании: "Если света не будет, то, значит, началась забастовка, и все же свет будет". Формула для обновленного выражения остается той же самой, ибо последовательность записи не имеет принципиального значения. Просто в такой формулировке меняются акценты. В высказывании звучит уверенность, что свет будет, несмотря на кое-какие мешающие обстоятельства. С учетом этих оттенков смысла ошибочным оно может быть признано только при отсутствии света, как это и отражено в указанной таблице 3. В первоначальной же редакции логическое ударение делается на мешающих обстоятельствах. Поэтому отсутствие света при забастовке, кажется, подтверждает сделанное заявление, но на деле этого все-таки нет. Без символической логики, возможно, мы не заметили бы таких тонких зависимостей в смыслах предложений.
Возьмем еще такую ситуацию в качестве примера. Таможенная служба получила от одного из своих сотрудников сведения о торговой фирме: она поставляет парфюмерию или, если не парфюмерию, то косметику. Обозначив через p "Фирма поставляет парфюмерию", через q - "Фирма поставляет косметику", получим:
(p \/ (-p => q)).
Вычисление возможных значений формулы и их интерпретацию предоставляется выполнить самостоятельно. Результаты можно сверить по приведенной здесь таблице 3.
Таблица 3
p |
q |
p \/ (p ® q) |
1 0 1 0 |
1 1 0 0 |
1 1 1 0 |
Подобным образом можно вычислять семантические значения любых формул, как бы они ни были сложны. Причем, если переменных больше двух, то тогда, разумеется, и вариантов их сочетаний больше: при трех - 8, при четырех - 16 и т.д. Запишем еще одно высказывание, но уже с тремя переменными, и просчитаем его.
Допустим, кто-то обвиняет власти и говорит: "Неправда, что свет не отключают тогда и только тогда, когда имеется горючее, и рабочие не бастуют". Пусть p означает "Свет отключают", q - "Имеется горючее", r - "Рабочие бастуют. Тогда формула, выражающая эту мысль, будет такой:
-(-p ó (q /\ (-r )).
И допустим затем, что на самом деле свет отключают (p=1), когда имеется горючее (q=1) и рабочие не бастуют (r=0). Обвинение должно быть в таком случае вроде бы правильным. Проведенное ниже разрешение подтверждает это.
-(-p ó (q /\ (-r )) ,
-(-1 ó (1 /\ (-0 )) ,
- (0 ó (1 /\ 1)),
-(0 ó 1),
-0,
1
Теперь допустим, что свет действительно отключают (p=1), когда нет горючего (q=0), однако забастовки тоже нет (r=0). Тогда обвинение властей должно быть ложным. Это тоже подтверждается проведенным далее просчитыванием.
-(-1 ó (0 /\ -0)),
-(0 ó (0 /\ 1)),
-(0 ó 0),
-1,
0.
Описание методического материала
При подготовке исследования А было приготовлено 8 карточек размером 7,5х10 см с изображением часов, ножниц, телефона, карандаша, самолёта и письма. Подготовлена карта 63х30 см, разделенная на 24 клетки размером 7,5х10 см.
Каждому изображению на карточках соответствуют три изображения на карте:
- идентичное изображение,
- изображение, ...
Кризис трех лет.
Кризис трех лет, как уже писалось выше, возникает при появлении и проявлении «воли» ребенка. В этот период взаимоотношения ребенка и взрослого оборачиваются тяжелым испытанием. Малыш начинает сравнивать себя со взрослыми и хочет пользоваться такими же правами, выполнять такие же действия. Он отстаивает свою независимость и самостоятельн ...
Характеристика рабочего места
Инженеры – проектировщики аэродромов в основном находятся в кабинетах, за чертежными столами, готовя очередной проект. Либо выезжают в командировки на место бедующего или уже имеющегося строительства. Собирают информации, знакомятся с местностью, наблюдают за ходом выполнения проекта, делают свои коррективы. Если говорить об офисном мес ...