Логика: задачи и их решение. Микиртумов И.Б. - 20 стр.

UptoLike

Составители: 

Рубрика: 

20
Здесь, очевидно, представлена эквивалентность двух суждений, а именно, «бря-
ка фордыбачит на глызе» и «неверно, что бряка с весны закурдявилась». По-
следнее суждение содержит отрицание, так что результат записи исходного
сложного суждения в символическом виде таков: (А ¬В).
Он молчит, а Варенька ему поёт «Виют витры», или глядит на
него
задумчиво своими тёмными глазами, или вдруг зальётся: «Ха-ха-ха
2
.
Здесь, конечно, все дизъюнкции строгие, так что обозначив простые суждения
«он молчит», «Варенька ему поёт ...», «Варенька глядит на него ...», «Варенька
вдруг зальётся ...» буквами А, В, С и D соответственно, мы получим выражение
(А & (В (С D))).
Он и ахнуть не успел, как на него медведь насел.
Здесь получаем конъюнкцию вида (¬А & В).
Если в ящике нет кролика, то там голуби или ежи.
Присутствующая здесь дизъюнкция может быть и слабой, так что получаем
символическую запись (¬А (В С)).
Кобелякин просыпается, если его трясут или пинают,
но никогда не от звона будильника
Поскольку пробуждение
Кобелякина может наступить вследствие одновремен-
ного применения тряски и пинков, здесь присутствует слабая дизъюнкция. Ещё
одна трудность связана с тем, что импликация и отрицание во второй части
суждения замаскированы оборотом «никогда не от». Символическая запись
рассматриваемого суждения имеет следующий вид: (((А В) С) & ¬(D
С)).
Если
друг оказался вдруг
И не друг, и не враг, а так,
Парня в горы бери, тяни ...
3
Здесь решения не может быть вовсе, т. к. данное высказывание является импе-
ративом и относительно него нельзя говорить, что оно является истинным или
ложным. Императивэто не суждение.
2
Этот и следующий примеры взяты у А.П.Чехова
3
Из В.Высоцкого