- •Введение в формальную логику
- •Глава 3
- •Тема 1: Язык классической логики высказываний (яклв)
- •Упражнения
- •Тема 2: От предложений естественного языка к их структурам (перевод предложений на яклв)
- •Упражнения
- •Тема 3: Семантика яклв. Логический статус формул. (Логика как система связок)
- •Оценки переменных их последовательностей
- •Табличное определение логических связок
- •Упражнения
- •Логический статус формул
- •Упражнения
- •Тема 4: Логические отношения между структурами предложений.
- •Упражнения
- •¬P⊃¬q¸ p ⊨ q
- •Упражнения
- •Некоторые законы клв и правильные схемы рассуждения
- •Свойства отношения логического следования
- •Упражнения
- •PºØq,qº(r&s),Øp⊨rvs
- •Упражнения
- •2) (Pq) – (pq)&(qp)
- •3)P – pvq
Упражнения
19. Что вам подсказывает ваша интуиция, какова каждая из схем рассуждений 1-11 – логически корректная или нет? Заполните первый столбец таблицы. Для (10), (11) просто решите вопрос о наличии отношения логического следования табличным методом.
Теперь осуществите табличным методом проверку этих схем умозаключений на логическую правильность, заполните второй столбец таблицы получившимися результатами и сравните их.
Номер схемы рассуждения |
Интуитивно |
Таблично |
+ p&q⊨pvq
+ pvq ⊨p
+pºq, qÉr, Øp ⊨ Ør
+ (pq), rºТ⊨ Ø(pºr)
p&q⊨p
pvq⊨p&q
pº, qº Т⊨ Ø(pºq)
pÉq, qÉr, ØpvØq ⊨ Ør
pºØq, qº(r&s), Øp ⊨ r
⊨ Т
Т ⊨
20. Что вам подсказывает ваша интуиция, каково каждое из нижеследующих рассуждений – логически корректное или нет? Заполните первый столбец таблицы.
Теперь найдите структуры этих рассуждений и осуществите табличным методом их проверку на логическую правильность. Заполните второй столбец таблицы получившимися результатами и сравните их.
Номер рассуждения |
Интуитивно |
Таблично |
|
|
|
+ Неверно, что он знает английский и французский. Значит, французским он не владеет.
+ Неверно, что он знает английский или французский. Значит, французским он не владеет.
+ Если сегодня воскресенье, то я высплюсь или схожу в гости. Я и выспался, и в гости сходил. Значит, сегодня воскресенье.
Множество вузов Москвы пусто, единично или бесконечно. Но множество вузов в Москве не пусто и не единично. Следовательно, их число бесконечно.
Если есть справедливость в этом мире, я не сдам логику, если не подготовлюсь. Не подготовился. Не сдал. Значит, справедливость все-таки существует.
«– А когда ты в первый раз заметил, Веничка, что ты дурак? – А вот когда. Когда я услышал одновременно сразу два полярных упрёка: и в скучности, и в легкомыслии. Потому что если человек умён и скучен, он не опустится до легкомыслия. А если он легкомыслен да умён – он скучным быть себе не позволит. А вот я, рохля, как-то умел сочетать.» (Вен. Ерофеев. Москва–Петушки).
Я не подготовлюсь и к английскому, и к математике, если у меня не будет много времени. Но времени у меня навалом. Значит, я подготовлюсь к обоим предметам.
(А заодно, значит, и с логикой у меня все в порядке) 13
Сравнение формул по объему информации, содержащейся в них
|
Те же характеризации сохраняем для высказываний:
Высказывание А логически сильнеевысказывания В, е.т.е. из логической формы высказывания А логически следует структура высказывания В и т.д..
ПримерСравним по силе два предложения.
Если доллар падает, а евро растет, я в выигрыше.
Если доллар падает, я в выигрыше, и если евро растет – тоже.
(Кстати, что вам подсказывает интуиция или здравый смысл: эти высказывания логически эквивалентны, несравнимы или в одном из них информации больше, чем в другом? В этом случае к правильному ответу можно прийти и через простую аргументацию.)
Проанализируем таблично структурную информацию обоих предложений.
Сначала найдем структуру высказываний. (Символизацию восстановите сами.)
Структура предложения (1): (рq)r
Структура предложения (2): (рr)(qr)
Функции оценки переменных |
p |
q |
r |
(рq) |
(рq)r
|
(рr) |
(qr) |
(рr)(qr)
|
1 |
и |
и |
и |
и |
и |
и |
и |
и |
2 |
и |
и |
л |
и |
л |
л |
л |
л |
3 |
и |
л |
и |
л |
и |
и |
и |
и |
4 |
и |
л |
л |
л |
и |
л |
и |
л |
5 |
л |
и |
и |
л |
и |
и |
и |
и |
6 |
л |
и |
л |
л |
и |
и |
л |
л |
7 |
л |
л |
и |
л |
и |
и |
и |
и |
8 |
л |
л |
л |
л |
и |
и |
и |
и |
(рq)r |(рr)(qr), т.к. для4 имеем: 4((рq)r)=и, 4((рr)(qr))=л
(рr)(qr)⊨(рq)r, т.к. не существует оценки параметров р, q и r, при которой посылка (рr)(qr) истинна, а заключение (рq)r – ложна.
Таким образом, первая формула логически подчиняется второй, вторая логически сильнее первой. Соответственно, второе высказывание логически сильнее первого.
21. Для следующих формул определите, сравнимы ли они по силе. Если да, тогда решите вопрос, являются ли эти формулы логически эквивалентными или нет; если нет (т.е. сравнимы, но не эквивалентны), какая из формул в паре логически сильнее, а какая слабее?
Номер пар формул |
Интуитивно |
Таблично |
|
|
|
+ pvq-pvq(v– строгая дизъюнкция)
+ (pq) – (pq)&(qp)
+ p–pvq
pq–pq
(рq) -рq
(рq) -рq
p&q-pvq
p&q–p
p - q
pºq- qÉp
(р q)r - (рq)r
(р q)r – (pr)&(qr)
р(qr) – (рq)r
- T
22. Для следующих высказываний определите, сравнимы ли они по силе. Если да, тогда решите вопрос, являются ли эти предложения логически эквивалентными или нет; если нет (т.е. сравнимы, но не эквивалентны), какое из предложений в паре логически сильнее, а какое слабее?
Номер пар предложений |
Интуитивно |
Таблично |
|
|
|
1. Если сегодня 16 июня, то я нахожусь в Дублине и праздную Блумсдэй. – Я нахожусь в Дублине и праздную Блумсдэй.
2. Если сегодня 16 июня, то я нахожусь в Дублине и праздную Блумсдэй. – Если сегодня 16 июня и я нахожусь в этот день в Дублине, то я отмечаю Блумсдэй.
3. Если за дело берется Ш.Холмс или Э.Пуаро, преступление будет раскрыто. – Если за дело берется Ш.Холмс и Э.Пуаро, преступление будет раскрыто.
4. Если О.Бендер мрачен и молчалив, значит он обдумывает комбинацию. – Если О.Бендер не мрачен и не молчалив, значит он не обдумывает комбинацию.
5. Если холодно или идет дождь, мистер NNне идет на работу. – Если мистерNNидет на работу, значит не холодно или нет дождя.