5 Проверка деления на наличие ошибок

1 шаг. Устанавливаем структуру деления. Определяем, что является делимым, что основанием(критерием) деления, что членами деления. Записываем, что мы установили.

2 шаг. Проверяем деление на наличие ошибок. Для этого смотрим, какие правила деления нарушены. Прежде всего, обращаем внимание на то, выдерживается ли одно основание деления.

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

4 шаг. Исправляем деление и записываем, что получилось.

Образец. Дано деление: Все кошки делятся на кошек черного окраса, кошек красного окраса и длинношерстных.

1 шаг. Выявляем структуру нашего деления. Делимое: кошки. Члены деления: черного окраса, красного окраса, длинношерстные. Основание деления: а) окрас, б) длина шерсти.

2 шаг. Определяем, какие правила деления нарушены.

3 шаг. Записываем эти нарушения. нарушено правило, гласящее, что деление должно производиться по одному основанию. Ошибка: «подмена основания». Нарушено правило соразмерности, поэтому есть лишний член деления: «длинношерстные».

4 шаг. Исправляем деление и записываем результат: Все кошки делятся на кошек черного окраса и кошек красного окраса.

СУЖДЕНИЕ

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

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

1 шаг. Определяем, что у нас субъект (S), что предикат (Р). Выписываем их.

2 шаг. Определяем связку. Если суждение утвердительное, то ставим связку «есть», если отрицательное, то ставим связку «не есть».

3 шаг. Определяем квантор. Есть только три квантора: для частных суждений квантор - «некоторые», для общеутвердительных – «все», для общеотрицательных – «ни одно».

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

5 шаг. Определяем его вид.

Всего существует 4 вида суждений:

Общеутвердительное: Все S есть Р. – обозначается буквой А.

Общеотрицательное: Ни одно S не есть Р. – обозначается буквой Е.

Частноутвердительное: Некоторые S есть Р. – обозначается буквой I.

Частноотрицательное: Некоторые не S есть Р. – обозначается буквой О.

6 шаг. Если суждение единичное, то оно считается за общее. Утвердительное единичное = общеутвердительное суждение – обозначается буквой А. Отрицательное единичное = общеотрицательное суждение – обозначается буквой Е.

Образец:

Исходное предложение: «Дружба – великая сила»

1 шаг. Определяем субъект и предикат. В нашем случае субъект(S) – «дружба», предикат (Р) – «великая сила».

2 шаг. Определяем связку. В данном случае суждение утвердительное. Значит, подходит связка «есть». Получаем: «Дружба есть великая сила».

3 шаг. Определяем квантор. Очевидно, здесь имеется виду всякая дружба. Значит, используем квантор «все». Его можно немного видоизменить – в данном случае можно использовать слово «всякий».

4 шаг. Выписываем: «Всякая дружба есть великая сила».

5 шаг. Раз у нас квантор «все» и связка «есть», то суждение общеутвердительное. Обозначается буквой А. Так и запишем.