Упражнение 1.

Приведите высказывание к правильной логической форме, дайте объединенную классификацию суждений, приведите их схемы и принятые в логике обозначения А, Е, I, О.

Указания к решению упражнения 1:

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

1. Определить логическую связку: «утверждение» («есть», «является») или «отрицание» («не есть», «не является»).

2. Определить субъект суждения, обозначив его S (выражение S подчеркнуть одной сплошной чертой).

Например:

«Некоторые юристы (S) - адвокаты».

3. Установить отношение сравнения между субъектом и предикатом суждения. В этом случае к предикатной части высказывания следует добавить родовое понятие для субъекта высказывания:

«Некоторые розы (S) красивы». →

→ «Некоторые розы (S) — являются красивыми цветами (Р)».

«Некоторые студенты нашей группы (S) сдали сегодня зачет по логике». → « Некоторые студенты нашей группы (S) есть учащиеся, сдавшие сегодня зачет по логике (Р)».

4. Определить кванторное слово («все», «некоторые», «ни одно», «это»).

5. Записать суждение в канонической форме: квантор - субъект (S) - связка - предикат (Р).

6. Записать формулу суждения: (S - Р).

7. Определить распределенность терминов:

- термин S - нераспределенный;

- термин Р – распределенный.

8. Графически изобразить отношения между терминами суждения.

Например, для суждения: « Некоторые студенты нашей группы (S) есть учащиеся, сдавшие сегодня зачет по логике (Р)».

Задание 1:

Приведите высказывание к правильной логической форме, дайте объединенную классификацию суждений, приведите их схемы и принятые в логике обозначения А, Е, I, О.

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