Материал: 1501

Внимание! Если размещение файла нарушает Ваши авторские права, то обязательно сообщите нам

3.5.1.Некоторые бактерии вредны.

3.5.2.Все пошли за ним.

3.5.3.Некоторые войны справедливы.

3.5.4.Ничто не вечно под Луной.

3.5.5.Честность есть лучшая политика.

3.5.6.Некоторые звезды не видны невооруженным глазом.

Упражнение №6. Считая данное суждение истинным, что вы можете сказать об истинности или ложности суждений других типов с теми же субъектом и предикатом?

3.6.1. Все политические противоречия могут быть разрешены. 3.6.2. Ни один лентяй не заслуживает похвалы.

3.6.3. Некоторые события рационально не объяснимы.

3.6.4. Нет повести печальнее на свете, чем повесть о Ромео и Джульетте.

3.6.7. Хлеб всему голова.

 

3.6.8. Цыплят по осени считают.

Упражнение №7. Считая данное суждение ложным, что вы

можете сказать об истинности или ложностиИдругих типов суждений с

теми же субъектом и предикатом?

Д

3.7.1.Некоторые видыблжи не заслуживают порицания.

3.7.2.Все науки опираются на практический опыт.

3.7.3.Некоторыеиполитические партии виртуальны.С А

Тема 4. Сложные суждения и логика исчисления высказываний

1.Символическая форма и логика высказываний.

2.Таблицы истинности и формальная правильность рассуждения.

3.Логические задачи.

Основные понятия: дизъюнкция, законы Моргана, импликация, исчисление высказываний, конъюнкция, отрицание, эквиваленция.

36

1. Символическая форма и логика высказываний

Упражнение № 1. Запишите на языке логики высказываний.

1.1.1.Глаза боятся, а руки делают.

1.1.2.Был честной, да позапрошлой весной.

1.1.3.Я обещал сделать это, но никогда не сделаю.

1.1.4.Искренняя молитва преодолевает земное притяжение и возносит человека к Богу.

1.1.5.Трудолюбие – это душа бизнеса и ключ к процветанию.

1.1.6.Самое большое не имеет внешней границы, а самое маленькое – предела внутри себя.

1.1.7.Платон мне друг, но истина дороже.

1.1.8.Русские долго запрягают, да быстро ездят.

1.1.9.Наслаждения – смертны, а добродетелиИбессмертны.

1.1.10.Все равны перед законом и судом.

1.1.11.Государственные пенсииДи социальные пособия устанавливаются государством.

1.1.12.Мал золотник, да дорог.

1.1.13.Или ты будешь учитьсяА, или пойдешь работать.

1.1.14.Быть или не быть – вот в чем вопрос.

1.1.15.Если встретишьбхорошего человека, постарайся стать таким же, как он.

1.1.16.Было бы лучше, если ы вы сбавили скорость.

1.1.17.Ночь наступает тогда, когда заканчивается день.

1.1.18.КогдаСнаступают холода, птицы улетают в теплые края.

1.1.19.Ни сна, ни отдыха измученной душе!

1.1.20.Он – образованный человек, и неправда, что у него плохая память.

1.1.21.Если больному после разговора с врачом не становитсялегче, то это – не врач!и

1.1.22.Если желаете себе несокрушимого памятника, вложите свою душу в хорошую книгу!

1.1.23.Если мы хотим добиться уважения к закону, мы сначала должны создать закон, достойный уважения.

1.1.24.Если правительство нарушает закон, оно порождает неуважение к нему.

1.1.25.И добродетель может быть пороком, когда ее неправильно приложат! (У. Шекспир).

1.1.26.Красота спасет мир, если она добра! (Ф.М. Достоевский)

1.1.27.Если число делится на 2, то оно четное.

37

1.1.28.По достижению пенсионного возраста человек имеет право на получение пенсии по возрасту.

1.1.29.Неверно, что все судьи неподкупны.

1.1.30.Неверно, что все философские вопросы неразрешимы.

1.1.31.Не все тайное становится явным.

1.1.32.Была без радостей любовь, разлука будет без печали. Упражнение № 2. Найдите в литературе или придумайте по

одному примеру для каждого вида сложных суждений (конъюнкции, нестрогой и строгой дизъюнкции, импликации, эквиваленции и отрицания), причем в примерах не используйте союзы «и», «или», «если…то», заменяйте их любыми другими союзами естественного языка, которые выражали бы соответствующие виды логических связей в сложных суждениях.

1.3.2. Если другие тебе и повредили, во время встречи

приветствуй их с улыбкой. Они со стыда потеряют решимость или же

попросят извинения.

И

 

1.3.3. Мы любим людей за то добро, которое мы им сделали, и

 

Д

не любим за то зло, которое мы им делаем.

1.3.4. Если воо ще ставить цель преодолеть враждебность

между людьми, то другого путиА, чем путь любви, не существует.

б

 

и

 

1.3.6. Если мы не можем изменить обстоятельства, удручающие

нас, то мы вполнеСможем изменить свое отношение к ним.

1.3.7. Если разговариваешь с людьми вежливо и мягко, то даже в чужой стране будешь принят, как на родной земле.

1.3.8. Пока мы боль чужую чувствуем, пока живет в нас сострадание, есть нашей жизни оправдание.

1.3.9. Если смотреть на людей радостными глазами, то даже ранее незнакомые люди станут относиться к тебе как близкие родственники.

1.3.10. Не покупай кота в мешке, если тебе не нужен мешок. 1.3.11. Если по истечении срока предупреждения об увольнении

трудовой договор не был расторгнут и работник не настаивает на увольнении, то действие трудового договора продолжается.

38

1.3.12.В ходе уголовного судопроизводства запрещается осуществление действий и принятие решений, унижающих честь участника уголовного судопроизводства, а также обращение, унижающее его человеческое достоинство, либо создающее опасность для его жизни и здоровья.

1.3.13.Если наступлению условия недобросовестно воспрепятствовала сторона, которой наступление условия невыгодно, то условие признается наступившим, а если наступлению условия недобросовестно содействовала сторона, которой наступление условия выгодно, то условие признается ненаступившим.

1.3.14.Подозреваемый подлежит освобождению по постановлению дознавателя, следователя или прокурора, если не

подтвердилось подозрение в совершении преступления, отсутствуют основания применения к нему меры пресеченияИв виде заключения под стражу или задержание было произведено с нарушением требований статьи 91 настоящего КодексаД.

1.3.15.Неисполнение владельцем транспортного средства

установленной федеральным законом обязанности по страхованию своей гражданской ответственностиА, а равно управление транспортным средством, если такое обязательное страхование отсутствует, влечет наложениебадминистративного штрафа в размере от пяти до восьми минимальных размеров оплаты труда.

1.3.16.Если вещьинайдена в помещении или на транспорте, она подлежит сдаче л цу, представляющему владельца этого помещения или средства транспортаС.

1.3.17.Договор найма жилого помещения может быть расторгнут в судебном порядке по требованию любой из сторон в договоре, если помещение перестает быть пригодным для постоянного проживания в случае его аварийного состояния, а также

ив других случаях, предусмотренных жилищным законодательством.

1.3.18.Адвокат рассматривает дело либо по существу, либо по собранному фактическому материалу, либо по достоверности доказательств, либо по правильности правовой оценки данных фактов.

1.3.19.Юридическими лицами могут быть организации, преследующие извлечение прибыли в качестве основной своей деятельности, либо не имеющие извлечение прибыли в качестве такой цели и не распределяющие полученную прибыль между участниками.

1.3.20. Человечество может погибнуть то ли от истощения

39

земных ресурсов, то ли от экологической катастрофы, то ли в результате третьей мировой войны.

2. Таблицы истинности и формальная правильность рассуждения

Упражнение №1. Постройте таблицу истинности. Являются ли следующие формулы тождественно-истинными, тождественно-ложными,

выполнимыми?

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2.1.1. ((¬p

q

 

s) (¬p ¬q))→s);

 

 

 

q) s)→(s p);

 

 

 

 

2.1.2. ((p≡

 

 

 

 

 

 

 

 

 

2.1.3. ((p≡q) (s→p))→(¬p

s);

 

 

2.1.4. ((p→q) s)→(¬s

 

¬q);

 

 

 

2.1.5. ((p→s) ( ¬q

¬p))→q;

 

 

 

 

 

 

 

 

 

 

 

 

 

 

→s;

 

 

 

 

 

 

 

 

 

 

 

2.1.6. (¬p q)

 

 

 

 

 

 

 

 

 

 

 

2.1.7. (¬p ¬q)→(¬s

 

 

¬q);

 

 

 

И

2.1.8. (¬p q)

 

(q

 

s);

 

 

 

 

 

 

 

 

→¬q) (¬s→¬q);

 

 

 

2.1.9. (¬p

 

 

 

 

 

 

 

 

 

 

 

 

 

2.1.10. (p q)→(s→q);

 

 

 

Д

2.1.11. (p q) (¬p

s)→(¬p

 

¬q);

2.1.12. (p q) (¬p s);

 

 

 

 

 

 

 

 

≡¬s;

 

 

 

 

 

 

 

А

 

2.1.13. (p q)

 

 

 

 

 

 

 

 

 

2.1.14. (p q)→¬(s q);

 

 

 

 

 

 

→(s q)) ((p s)→q);

 

 

2.1.15. (p

 

 

 

 

 

 

б

 

 

2.1.16. (s→(p q)) ((q s)→p);

 

 

2.1.17. ¬(p

q) (s→(q p));

 

 

 

 

и

 

 

 

 

2.1.18. ¬(p q) (s→p);

 

 

 

 

2.1.19. ¬(p q

s)≡(¬p

 

 

¬s);

 

 

 

2.1.20. ¬(pСq)→¬(s

 

 

¬q);

 

 

 

 

 

 

 

 

 

 

 

 

2.1.21.

 

˄q)˅(p˄r))→(p˄(q˅r));

 

((p

 

 

 

 

 

 

 

 

 

 

 

 

 

2.1.22. (((p→q)→p)→p);

 

 

 

 

2.1.23.

( →q)↔( →(p˄r));

 

 

2.1.24.

((p→q)˄¬q)→¬p;

 

 

 

 

p

 

 

 

 

q

 

 

 

 

 

 

 

 

 

 

2.1.25. ((p˅q˅s)˄q) → (¬p˅¬q); 2.1.26. ((p→q)˄¬p →¬q; 2.1.27. ((p→q)˄(q→s))→(p→s); 2.1.28. (p˅q)˄¬p→q;

2.1.29. (p˅¬p)˄p→¬p.

40