5. Контрольные вопросы для самопроверки

1. Как возможно построить формализованный язык?

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

3. Какие парадоксы возникают при проведении анализа средствами естественного языка?

4. Как задается алфавит языка логики высказываний?

5. Что такое правильно построенное высказывание?

6. Что такое семантика логических операторов?

7. Чем отличаются полные таблицы истинности в логике высказываний от сокращенных?

8. Что такое логическое следование?

9. Что такое корректность рассуждения? Надежность рассуждения?

10. Какие логические отношения между формулами имеются?

11. Назовите основные законы логики высказываний. Запишите их в логической нотации.

Тема 1.3. Традиционная теория силлогических рассуждений

1. Задания для самостоятельной работы

1. Внимательно прочтите рекомендованную литературу.

2. Выполните следующие упражнения:

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

1. Не узнав горя, не узнаешь и радости.

2. Незнание закона не является оправданием.

3. Нет худа без добра.

2. Выразите в круговых схемах отношение между субъектом и предикатом в следующих суждениях:

1. Все люди равны пред законом.

2. Некоторые законы не являются юридическими.

3. Ни одна истина не является бесспорной.

4. Некоторые молодые люди являются карьеристами.

5. Нет дыма без огня.

3. Произведите отрицание следующих суждений:

1. Все свидетели дают правдивые показания.

2. Каждый юрист знает какого-либо математика.

3. Каждый студент изучает какую-либо науку.

4. Некоторые студенты нашей группы не знают ни одного древнего языка.

5. Некоторые сотрудники не имеют высшего образования.

4. Проанализируйте логическую структуру и установите виды следующих вопросов:

1. Является ли кит рыбой?

2. Этот фильм американского или польского производства?

3. Почему 11 является простым числом?

5.Выделите возможные смыслы вопросов и соответствующую основу:

1. Кто является автором романа «Мастер и Маргарита»?

2. Вы владеете иностранным языком?

3. Кого убил Брут?

6. Осуществите превращение следующих суждений:

1. Все студенты – учащиеся.

2. Ни одна планета Солнечной системы не является обитаемой.

3. Никакое разрешение не является запретом.

4. Некоторая глупость неисправима.

5. Все люди порядочны.

7. Осуществите обращение следующих суждений:

1. Все люди обладают мышлением.

2. Некоторые студенты не являются отличниками.

3.Некоторые философы – логики.

4. Ни один человек не является летающим существом.

8. Используя «логический квадрат», выведите суждения противоположные, противоречащие и подчиненные данным:

1. Всякий человек – личность.

2. Ни один лентяй не любит трудиться.

3. Все водители обязаны соблюдать правила дорожного движения.

4. Всякое лицемерие есть неискренность.

5. Ни одно прошлое не есть настоящее.

9. Проверьте, являются ли правильными следующие силлогизмы, если нет, то какие правила в них нарушены:

1. Некоторые поэтические произведения являются философскими. Все философские произведения обладают мировоззренческим характером. Следовательно, некоторые произведения, обладающие мировоззренческим характером, являются поэтическими.

2. Все студенты нашей группы – юристы. Все студенты нашей группы изучают логику. Следовательно, все юристы изучают логику.

3. Все преступления осуждаются общественностью. Данное деяние – не преступление. Следовательно, оно не осуждается общественностью.

4. Некоторая информация – реклама. Всякая информация – источник правильного решения. Следовательно, некоторые источники правильных решений лежат в рекламе.

5. Всякий банкир – специалист. Всякий специалист – знаток своего дела. Следовательно, некоторые знатоки своего дела являются банкирами.

10. Восстановите до полного силлогизма следующие энтимемы:

1. Все металлы электропроводны, а золото – металл.

2. Признаком горения является наличие пламени, поэтому окисление не является горением.

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

4. Данное решение суда не является оправдательным, так как оно требует увольнения от должности.

5. Все газы при нагревании расширяются, поэтому и азот расширится.