1.3. Все компьютеры ibm отличаются высокой надежностью.

Решение:

1.В данном предложении логически определен только субъект – «компьютеры IBM» (S). Предикат выражен словосочетанием «отличаются высокой надежностью» (Р). 2. Приводим предикат к канонической форме. Для этого подбираем к субъекту суждения («компьютеры IBM») родовое понятие («компьютеры»). В канонической форме предикат будет выражен словосочетанием «компьютеры, отличающиеся высокой надежностью» (Р). 3. Кванторное слово - «все».

4. В предложении утверждается наличие у субъекта «компьютеры IBM» (S) свойства, выраженного в предикате «отличаются высокой надежностью» (Р). Значит логическая связка утвердительная («есть»). 5. Записываем суждение в канонической форме: «Все компьютеры IBM (S) есть компьютеры, отличающиеся высокой надежностью» (Р)». 6. Записываем формулу суждения – «Все S есть P». Определяем количественно-качественную характеристику суждения: данное суждение по количеству – общее, по качеству – утвердительное (Тип А – общеутвердительное).

7. Графически изображаем отношения между терминами суждения с помощью кругов Эйлера:

Р-

S+

Субъект и предикат находятся в отношении подчинения.

8. Определяем распределенность терминов: в суждении идет речь обо всем объеме субъекта (обо всех компьютерах IBM), поэтому субъект считается распределенным (S+), но не обо всем объеме предиката (компьютерах, отличающихся высокой надежностью), значит, предикат не распределен (Р-).

1.4. Данная задача не решена.

Решение:

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

2. Приводим предикат к канонической форме. Для этого подбираем к субъекту суждения («задача») родовое понятие («упражнение»). В канонической форме предикат будет выражен словосочетанием «упражнение, являющееся решенным» (Р).

3. Кванторное слово - «данная». 4. В предложении отрицается наличие у субъекта «задача» (S) свойства, выраженного в предикате «решена» (Р). Значит логическая связка отрицательная (« не есть»). 5. Записываем суждение в канонической форме: «Данная задача (S) не есть упражнение, являющееся решенным (Р)». 6. Записываем формулу суждения – «Некоторые S не есть P». Определяем количественно-качественную характеристику суждения: по своей логической характеристике с точки зрения количества данное суждение является единичным и относится к частным суждениям, по качеству – отрицательное (Тип О – частноотрицательное). 7. Графически изображаем отношения между терминами суждения с помощью кругов Эйлера:

S-

P+

8. Определяем распределенность терминов: субъект не распределен, так как речь идет о части его объема; а предикат распределен, поскольку некоторые S не относятся ко всему объему Р (S-,Р+).