Сложные суждения, страница 2
Для перебора всех вариантов возможных сочетаний истинностных значений простых высказываний определяем количество строк в таблице по числу 2 в степени п, где п - число простых суждений, обозначенных символами (пропозициональными переменными) А, В, С, Д. Здесь их четыре. Поэтому число строк в таблице 24 =16.
Под первой переменной - А - в таблице половину строк отмечаем знаком 1, а вторую половину - знаком 0.
Под второй переменной - В - знак 1 ставим в первой четверти всех строк, а затем чередуем.
Под третьей переменной - С - ставим 1 в 1/8 всех строк и затем чередуем.
Под последней переменной - Д - с первой строки будет чередование 1 и 0.
Под переменной с отрицанием (в нашем примере А¯) все значения истинности противоположны А.
А |
В |
С |
Д |
А¯ |
ВˆС |
А→(ВˆС) |
А¯→Д |
(А→(ВˆС))ˆ( А¯→Д) |
1 |
1 |
1 |
1 |
0 |
1 |
1 |
1 |
1 |
1 |
1 |
1 |
0 |
0 |
1 |
1 |
1 |
1 |
1 |
1 |
0 |
1 |
0 |
0 |
0 |
1 |
0 |
1 |
1 |
0 |
0 |
0 |
0 |
0 |
1 |
0 |
1 |
0 |
1 |
1 |
0 |
0 |
0 |
1 |
0 |
1 |
0 |
1 |
0 |
0 |
0 |
0 |
1 |
0 |
1 |
0 |
0 |
1 |
0 |
0 |
0 |
1 |
0 |
1 |
0 |
0 |
0 |
0 |
0 |
0 |
1 |
0 |
0 |
1 |
1 |
1 |
1 |
1 |
1 |
1 |
1 |
0 |
1 |
1 |
0 |
1 |
1 |
1 |
0 |
0 |
0 |
1 |
0 |
1 |
1 |
0 |
1 |
1 |
1 |
0 |
1 |
0 |
0 |
1 |
0 |
1 |
0 |
0 |
0 |
0 |
1 |
1 |
1 |
0 |
1 |
1 |
1 |
0 |
0 |
1 |
0 |
1 |
0 |
1 |
0 |
0 |
0 |
0 |
0 |
1 |
1 |
0 |
1 |
1 |
1 |
0 |
0 |
0 |
0 |
1 |
0 |
1 |
0 |
0 |
Выходной столбец таблицы показывает, при каких значениях переменных А, В, С, Д (т.е. простых суждений) сложное суждение истинно, а при каких ложно.
Из всех 16-ти вариантов различных сочетаний истинных значений простых суждений лишь в 6-ти сложное суждение может быть истинным.
ЗАДАНИЕ
Перевести на символический язык логики высказываний сложное суждение и выявить с помощью таблицы условия истинности этого суждения.
Варианты:
- Всякое тело сохраняет состояние покоя или равномерного прямолинейного движения, если оно не вынуждено изменить это состояние под влиянием действующих сил.
- Каждое индивидуальное высказывание истинно или ложно, но не то и другое вместе.
- Если некоторое число N оканчивается на 0 или на 5, то оно делится на 5, и если число N не делится на 5, то оно не оканчивается ни на 0, ни на 5.
- Если какой-то человек сказал неправду, то он или не знает действительного положения дел, или умышленно вводит в заблуждение других, но не то и другое вместе.
- Если спортсмен стал призером соревнований, но не выиграл их, то он занял второе либо третье место.
- «Сказать, что Наполеон погубил свою армию потому, что он хотел этого, или потому, что он был очень глуп, было бы точно так же несправедливо, как сказать, что Наполеон довел свои войска до Москвы потому, что хотел, этого, и потому, что он был умен и гениален» (Л.Н.Толстой).
- Демократизация и свобода средств информации окажутся бесполезными для общества, если демократия будет «карманной», а критика тенденциозной.
- «Если бы Иван IV был зол по природе или не заботился об интересах государства, то он не отменил бы опричнины».
- «Иван Иванович чрезвычайно тонкий человек и в порядочном разговоре никогда не скажет неприличного слова и тотчас обидится, если услышит его» (Н.В.Гоголь)
- Если вода, которую мы берем либо из естественных, либо из искусственных водоемов, по показаниям анализов стала малопригодной для питья и приносит вред, санэпидемстанция обязана принять меры по оздоровлению источников.