Geum.ru

Язык классической логики высказываний

Вид материалаДокументы
Подобный материал:
ЯЗЫК КЛАССИЧЕСКОЙ ЛОГИКИ ВЫСКАЗЫВАНИЙ.

  1. Язык как знаковая информационная система. Знак. Смысл и значение знака.
  2. Основные семантические категории языковых выражений. Предложение и термин. Логические и нелогические термины.
  3. Понятие формализованного языка. Главные отличия формализованных языков от естественных. Принципы построения формализованных языков логики. Объектный язык и метаязык.
  4. Язык классической логики высказываний (ЯКЛВ). Алфавит, синтаксис. Понятие формулы языка.
  5. Запись на языке КЛВ выражений естественного языка.


_____________________________________________________________________________________

Основные определения, которые надо выучить:

Язык как знаковая система

Знак

Смысл знака

Значение знака

Аспекты рассмотрения языка: синтаксис, семантика, прагматика

Базовые семантические категории естественного языка: предложение и термин

Основные виды предложений

Простые и сложные предложения

Предложение, суждение, высказывание

Термины языка: логические (связки, кванторы) и нелогические.

Естественный язык, искусственный язык, формализованный язык

Объектный язык, метаязык.

Пропозициональная переменная

Пропозициональная связка

Технический символ



Литература:
  • Ивлев Ю.В. «Логика для юристов» – гл.2, гл.4 А §§1, 2.
  • Бочаров В.А., Маркин В.И. «Основы логики» – гл.1 §§1, 3, гл.2 §§1, 2.


Упражнения:
  1. Что Вам подсказывает интуиция: какие из следующих выражений следует отнести к логическим (т.е. относящимся к структуре рассуждения), а какие к нелогическим?



    1. рассуждение
    2. найдется такой объект, который
    3. любой (объект х)
    4. или
    5. логика
    6. неверно, что
    7. умный
    8. лучше
    9. больше
    10. круче
    11. необходимо, что
    12. если и только если
    13. минус
    14. операция вычитания
    15. и
    16. ибо
    17. но
    18. а
    19. а также
    20. зачет по логике
    21. зачет по зоологии
    22. равносильно



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



  1. x1
  2. x+y
  3. x+y=2
  4. 2+3
  5. 2+3=x
  6. 2+3=100
  7. x
  8. x<3
  9. Для любого натурального числа x найдется натуральное число y такое, что x
  10. «Если жизнь тебя обманет, не печалься, не грусти»
  11. «Если есть в кармане пачка сигарет, значит всё не так уж плохо на сегодняшний день»
  12. Который час?
  13. Будь осторожен!
  14. Вашингтон – столица США
  15. Древние греки заимствовали и очертания, и названия своих букв у древних египтян.
  16. Древние греки заимствовали и очертания, и названия своих букв у финикийцев.


3. Какие из следующих предложений простые, а какие сложные?
  1. Саша и Таня – студентки.
  2. Молдавия находится между Украиной и Румынией.
  3. Польша не расположена между Россией и Болгарией.
  4. Москва расположена севернее Киева и Смоленска.



  1. В каких из нижеследующих пассажей союзы «и», «но» не соответствуют конъюнкции КЛВ?
    1. И решил я тогда: умру, но выучу хеттский язык!
  1. Сегодня у нас 2 пары английского и одна пара математики.
  2. Тогда я решил: умру, но выучу хеттский язык!
  3. Встретились баба с пустыми ведрами и черная кошка, обе скончались на месте.
  4. Саша и Таня одного возраста.
  5. Саша и Таня – студентки.
  6. Если мы поможем ему, то и он нам тоже.
  7. Он заболел и умер.1



  1. Для следующих формул укажите их главные знаки и все их подформулы. Постройте их нагруженные деревья.
  1. Øр&q
  2. Ø(р&q)
  3. (p⊃Øq)⊃((s≡r)(s≡q))
  4. Ø(Ø(Øрq)&Ø(qÚp))
  5. ØØ(Øрq)&Ø(qÚp)



  1. Являются ли данные последовательности символов формулами языка КЛВ? Если нет, то укажите, где ошибка (ошибки).
  1. (рq)&((qp))
  2. ((рq)&(qp)
  3. (рq)(qp)(рq)(q&r)
  4. (р  q)  (q &(s& r))
  5. (р Ú q)



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

p – «Ты посещаешь все лекции по логике»

q – «Ты посещаешь все семинары по логике»

r – «Ты туго соображаешь»

s – «Ты сдашь логику с первого раза»

s1 – «Ты никогда не сдашь логику»

р1 – «Ты считаешь астрологию почтенной дисциплиной»

r1 – «Ты считаешь логику захватывающей дисциплиной»
  1. Если ты не посещаешь ни семинары по логике, ни лекции, и соображаешь туго, ты никогда не сдашь этот предмет.
  2. Ты туго соображаешь и считаешь астрологию почтенной дисциплиной.
  3. Ты считаешь астрологию почтенной дисциплиной, только в том случае если туго соображаешь.
  4. Ты сдашь логику с первого раза в том и только в том случае, если ты посетил все лекции и семинары, нормально соображаешь и считаешь этот предмет захватывающим.
  5. Или ты считаешь логику захватывающей дисциплиной, или ты туго соображаешь.


8. Запишите с помощью языка логики высказываний логическую форму следующих предложений русского языка:
  1. И ты прав, и я, а преподаватель не прав.
  2. Или ты не прав, или я, или преподаватель.
  3. Или ты не прав, или я, или преподаватель, но если ты прав, то и я тоже.
  4. Если вчера я не знал, что говорю прозой, то сегодня я это знаю.
  5. Еще один вопрос, и я за себя не отвечаю.
  6. Умру, но докажу, что я не идиот.
  7. Можно рехнуться, поумнеть или войти в нирвану, если долго заниматься математикой, но поглупеть нельзя.
  8. Я пью крепкий кофе, если и только если хочу спать или у меня много работы.
  9. Я займусь изучением логики, если скоро зачет по этому предмету и преподаватель не ставит "автоматы".
  10. Я займусь изучением логики, только если скоро зачет по этому предмету и преподаватель не ставит "автоматы".
  11. Я займусь изучением логики, если скоро зачет по этому предмету или преподаватель не ставит "автоматы", разве что буду уверен, что сумею списать.
  12. Если я не опоздаю, то объясню тебе задание, если разберусь в этом материале, разве что случится что-то непредвиденное.
  13. Любишь кататься, люби и саночки возить.
  14. Сегодня или суббота, или воскресенье.
  15. Если сегодня у меня английский язык, значит сегодня вторник или четверг.
  16. Я приду на занятия, если не заболею и не попаду в пробку.
  17. Я приду на занятия, если и только если погода будет хорошей, я не заболею и у меня не будет плохих предчувствий.
  18. Я приду на занятия, только если погода будет хорошей, я не заболею и у меня не будет плохих предчувствий.
  19. Если я знаю два иностранных языка, то мой брат целых пять, а сестра – ни одного.
  20. Ни ты, ни я не любим этого преподавателя, и он нас тоже.
  21. Если выпадет решка, я пойду в кино или в парк, если орел – пойду в гости, если монета станет ребром – на занятия.
  22. Если мне сниться Аристотель или Спиноза, это к дождю, если Дэвид Коперфильд – к неожиданностям, а преподаватель по логике – к пересдаче или обострению ревматизма.
  23. Если сегодня выходной, то если она поет или танцует, ему хочется застрелиться, если говорит – напиться, а если молчит (и не танцует), ему кажется, что жизнь налаживается.
  24. Если сегодня выходной, то если погода плохая, я остаюсь дома, разве что пригласят в гости, театр или кино, а если хорошая – пойду за грибами, разве что заболею.
  25. Если монета станет ребром, я пойду на занятия, если, кроме того, погода будет хорошей и у меня не будет плохих предчувствий.
  26. И ты, и я нежно любим и логику, и философию.
  27. Легкая победа, как и победа случайная, вызывает скорее разочарование, чем радость.
  28. Обеспеченная жизнь являлась необходимым условия счастья сына турецкого поданного господина О.Бендера.
  29. Обеспеченная жизнь являлась необходимым, но недостаточным условия счастья сына турецкого поданного господина О.Бендера.
  30. Наличие крупной суммы в портфеле или сигарет в кармане является достаточным, хотя и не необходимым условием счастья господина N.N.
  31. Если знание логики является необходимым условием для того, чтобы Джульетта полюбила Ромео, то Ромео возьмется за изучение логики, в противном случае – ни за что.




1 Рассматривая это предложение, учтите, что конъюнкция в изучаемой нами теории коммутативна, т.е. структура (А&В) несет ту же информацию, что и структура (В&А). (Это обосновывается ниже в одном из упражнений.)