Контрольные вопросы по теме №2:

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

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

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

4. В соответствии с каким логическим законом два отрицающие друг друга высказывания не могут быть одновременно ложными?

5. Придем ли мы к противоречию, если способом «от противного» будем доказывать ложное положение?

6. Допустим импликация AB истинна, и A истинно. Является ли B необходимым условием для A?

7. Если A₁ есть достаточное условие для B, то является ли

A₁  A₂ достаточным условием для B?

8. Что такое объем имени?

9. Если A₁ есть достаточное условие для B, то является ли

A₁  A₂ достаточным условием для B?

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

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

3. Каким из следующих символических выражений обозначается логическое произведение объемов A и B?

4. Как называется логическая операция, в результате которой образуется имя с объемом B, содержащим в себе объем A?

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

6. Нарушение какого правила деления связано с ошибкой «скачок в делении»?

7. Нарушение какого правила определения связано с ошибкой, которая называется «тавтология»?

Тема 3. Выводы Лекция 3. Выводы

Основные понятия:

вывод; правило вывода; прямое правило вывода (введение и удаление конъюнкции, введение и удаление дизъюнкции, удаление импликации, введение и удаление эквиваленции, введение и удаление двойного отрицания); косвенное правило вывода (введение импликации, сведение к абсурду); основное правило вывода; производное правило вывода; атрибутивное высказывание; субъект; предикат; связка; высказывания утвердительные и отрицательные; высказывания единичные, общие и частные; высказывания общеутвердительные, общеотрицательные, частноутвердительные, частноотрицательные; термин высказывания; распределенность термина; отношение противоречия; отношение противности; отношение частичной совместимости (подпротивности); отношение подчинения (следования); непосредственный вывод; вывод по логическому квадрату; обверсия; конверсия; контрапозиция (полная, частичная); незаконное расширение термина; опосредованный вывод; простой категорический силлогизм; термины простого категорического силлогизма – больший, меньший, средний; посылки простого категорического силлогизма – большая, меньшая; общие правила простого категорического силлогизма; фигура простого категорического силлогизма – первая, вторая, третья, четвертая; модус простого категорического силлогизма; полисиллогизм – прогрессивный, регрессивный; эпихейрема; энтимема; сорит; аналогия; модель; прототип; гомоморфизм; изоморфизм; редукция; абдукция; индукция (полная и неполная, простая и научная); cлишком далекая аналогия; подтасовка; поспешное обобщение.