ТЕМА 2 (часть 2)

ЯЗЫК КЛАССИЧЕСКОЙ ЛОГИКИ ВЫСКАЗЫВАНИЙ

1. Язык классической логики высказываний (ЯКЛВ).

2. Запись на языке КЛВ предложений естественного языка.

Литература:
 Бочаров В.А., Маркин В.И. Введение в логику – гл. 3 §1
 Бочаров В.А., Маркин В.И. Основы логики – гл.2 § 1, 2.

Упражнения:1

1. Переведите на язык классической логики высказываний следующие предложения

русского языка (с учётом предлагаемой символизации):
p – «Ты посещаешь все лекции по логике»
q – «Ты посещаешь все семинары по логике»
r – «Ты туго соображаешь»
s – «Ты сдашь логику с первого раза»
s1 – «Ты никогда не сдашь логику»
р1 – «Ты считаешь астрологию почтенной дисциплиной»
r1 – «Ты считаешь логику захватывающей дисциплиной»
а) Ты туго соображаешь и считаешь астрологию почтенной дисциплиной.
б) Или ты считаешь логику захватывающей дисциплиной, или ты туго соображаешь.
в) Ты посещаешь все лекции по логике в том и только в том случае если считаешь эту
дисциплину захватывающей.
г) Если ты туго соображаешь, логика тебе не понравится.
д) Ты считаешь астрологию почтенной дисциплиной, только в том случае если туго
соображаешь.
е) Ты считаешь астрологию почтенной дисциплиной, в том случае если туго соображаешь.
ж) Ты не считаешь логику захватывающей дисциплиной, только если туго соображаешь.
з) Если ты не посещаешь ни семинары по логике, ни лекции, да ещё и соображаешь туго, ты
никогда не сдашь этот предмет.
и) Ты сдашь логику с первого раза в том и только в том случае, если ты посетил все лекции и
семинары, нормально соображаешь и считаешь этот предмет захватывающим.
к) Ты сдашь логику с первого раза, разве что туго соображаешь или считаешь астрологию
почтенной дисциплиной.
л) Если ты считаешь логику захватывающей дисциплиной, то ты когда-нибудь ее сдашь, если
посещаешь все семинары и лекции.

2. Запишите с помощью языка логики высказываний логическую форму следующих

предложений русского языка):
а) И ты прав, и я, а преподаватель не прав.
б) Или ты не прав, или я, или преподаватель.
в) Или ты не прав, или я, или преподаватель, но если ты прав, то и я тоже.
г) Ни ты, ни я не любим этого преподавателя, и он нас тоже.
д) Если вчера я не знал, что говорю прозой, то сегодня я это знаю.
е) Еще один вопрос, и я за себя не отвечаю.
ж) Умру, но докажу, что я не идиот.
з) Если сегодня у меня английский язык, значит сегодня вторник или четверг.
и) Можно рехнуться, поумнеть или войти в нирвану, если долго заниматься математикой, но
поглупеть нельзя.

1
Часть примеров в задании взята из учебника логики Невдобенко О.И. «Введение в символическую логику», а часть –
из сборника Петров В.Б., Чернышова Е.О. «Логика: сборник тестовых заданий и упражнений»
к) Я займусь изучением логики, если скоро зачет по этому предмету и преподаватель не
ставит "автоматы".
л) Я займусь изучением логики, только если скоро зачет по этому предмету, а преподаватель
не ставит "автоматы".
м) Я займусь изучением логики, если скоро зачет по этому предмету или преподаватель не
ставит "автоматы", разве что буду уверен, что сумею списать.
н) Если я не опоздаю, то объясню тебе задание, если разберусь в этом материале, разве что
случится что-то непредвиденное.
о) Если мне снится Аристотель или Спиноза, это к дождю, если Дэвид Коперфильд – к
неожиданностям, а преподаватель по логике – к пересдаче или обострению ревматизма.
п) Если сегодня выходной, то если она поет или танцует, ему хочется застрелиться, если
говорит – напиться, а если молчит (и не танцует), ему кажется, что жизнь налаживается.
р) Легкая победа, как и победа случайная, вызывает скорее разочарование, чем радость.
с) Если верно, что я психолог-профессинал, только если знаю английский и немецкий, то я
пойду на курсы и немецкого, и английского, разве что разочаруюсь в выбранной
профессии.
т) Обеспеченная жизнь являлась необходимым условия счастья сына турецкого поданного
господина О.Бендера.
у) Обеспеченная жизнь являлась необходимым, но недостаточным условия счастья сына
турецкого поданного господина О.Бендера.
ф) Ежели баба в шляпке, ежели чулочки на ней фильдекосовые, или мопсик у ней на руках,
или зуб золотой, то такая аристократка мне и не баба вовсе, а гладкое место. (Зощенко
«Аристократка»)
х) Некоторые мужчины не читают газет, если только они не пишут о футболе, не
интересуются сплетнями, если только они не касаются футболистов, и не ухаживают за
женщинами, если только те не болеют за любимую команду.
ц) Связной не придёт на встречу с резидентом, если не получит подтверждения о приёме
сообщения, а если он его не получит, то он поймёт, что резидент либо уже провалился,
либо находится на грани провала.
ч) Если респондент затруднился ответить на вопрос интервьюера, то либо ему не нравится
вопрос, либо ему не нравится интервьюер, но такие варианты ответов в анкетах, как
правило, не содержатся.
ш) Если Бог существует, то он существует либо необходимо, либо случайно, если же Бог не
существует, то он также либо не существует необходимо, либо не существует случайно.
щ) Некоторые люди верят в существование привидений, некоторым этого недостаточно и они
пытаются доказать истинность своей веры, для чего устраивают охоту за привидениями.