Превращение

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

Определение

Превращение – это преобразование (операция) категорического суждения — образование нового суждения путём перемены качества исходного суждения на противоположное без изменения его количества, при этом предикат заключения является отрицанием предиката посылки, связка меняется на противоположную, а предикат – на противоречащее понятие.

При этом частноутвердительное суждение превращается в частноотрицательное, и наоборот, а общеутвердительное суждение превращается в общеотрицательное, и наоборот.

Состав превращения

Состав из терминов

В превращение входят два термина:

• S — меньший термин: субъект заключения (входит в посылку);
• P — больший термин: предикат заключения (входит в посылку);

Состав из суждений

В превращение входит два суждения:

• посылка, включает S и P;
• заключение, включает S и P.
• Посылка — категорическое суждение.
• Заключение — категорическое суждение.

Структурные схемы

Превращение (отрицание предиката).

Другие понятия:

• Логический закон;
• Логические функции;
• Нормальные формы:
  • совершенная дизъюнктивная нормальная форма;
  • совершенная конъюнктивная нормальная форма;
  • минимальная дизъюнктивная нормальная форма;
  • минимальная конъюнктивная нормальная форма;
  • алгебраическая нормальная форма;
• Таблица истинности;
• Карта Карно;
• Трёхмерная карта Карно;
• Предикат;
• Исчисление высказываний;
• Специальное исчисление высказываний;
• Секвенции;
• Суждение;
• Умозаключения.

Ссылки

• Википедия
• Участник:Logic-samara