Сложные суждения. Истинные и ложные суждения. Логический квадрат

Упражнения

Суждение. Логический квадрат

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

2. Логическая структура суждения. Субъект, предикат, логическая связка, кванторное слово и их функции в составе суждения.

3. Классификация суждений по выражению ими реалий действительности. Определения и примеры атрибутивных, отношения и экзистенциальных суждений.

4. Понятие об общих, частных, единичных, выделяющих, исключающих суждениях и их примеры.

5. Объединенная классификация суждений по качеству и количеству. Четыре типа простых суждений, их логическая структура и примеры.

6. Понятие о распределенности терминов (субъекта и предиката) в суждении. Варианты распределенности терминов и его выражение в круговых схемах и в таблице.

7. Язык логики высказываний. Понятия логического знака, связки, формулы.

8. Механизмы введения новых знаков и принципы выражения одних логических связей через другие.

9. Логический квадрат как инструмент установления истинности суждений.

1. Установите, какие из следующих высказываний выражают суждения, а какие нет:

1) Наполеон никогда не был французским императором.

2) Граждане, соблюдайте правила уличного движения!

3) Береза - не дерево.

4) 2 х 2 = 4.

5) Чему равно расстояние от Земли до Луны?

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

1) Чаще всего вулканы имеют конусообразную форму.

2) Ни один римский раб не обладал правами гражданина.

3) Некоторые кролики - альбиносы.

4) Гадюка - ядовитая змея.

5) Кит не рыба.

3. Определите вид отношений.

1) "Она его за муки полюбила, а он ее - за состраданье к ним" (В. Шекспир).

2) Ястреб убивает и ест перепелку. Перепелка убивает и ест жука.

3) Тихон любил Катерину. Катерина любила Бориса.

4) А составляет половину В.

4. Составьте суждения из следующих терминов:

1) Русский феодал (субъект, нераспределен); сторонник преобразований Петра I (предикат, распределен).

2) Комета (субъект, нераспределен); тело Солнечной системы (предикат, нераспределен).

3) Осужденный (субъект, распределен); обладать правом голоса (предикат, распределен).

4) Карась (субъект, распределен); рыба (предикат, нераспределен).

Вопросы к семинару 4.

1. Понятие о сложных суждениях, их связь с предложениями и выражение в них особых отношений действительности.

2. Образование сложных суждений на базе простых. Использование логических союзов и выделение видов сложных суждений.

3. Конъюнкция, грамматические эквиваленты, правила вывода.

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

5. Импликация (материальная) ее особенности и парадоксы. Правила вывода характерные для материальной импликации.

6. Эквивалентность (материальная), связь с импликацией, правила вывода.

7. Отрицание и двойное отрицание. Правила вывода характеризующие отрицание.

8. Истинность и ложность как логические функции суждений. Определение истинности сложных суждений табличным способом.

9. Три закона формальной логики. Определения и формулы логических законов и варианты их толкования.

10. Понятие об истинности, ложности, выполнимости формул языка логики высказываний.

11. О законах логики как тождественно-истинных формулах.

Дата добавления: 2015-06-28