Контрольная работа по логике на тему Логика: 4 типа суждения

2.2. Ни один конформист не может быть истинным учёным.

2.3. Только профессионально подготовленный судья не действует по шаблону.

2.4. Некоторые промышленно развитые страны применяют безотходные технологии.

2.5. Ни один человек не должен страдать из-за правдивых высказываний.

Решение:
Исходя из количественно-качественной характеристики все суждения можно классифицировать на 4 типа: общеутвердительные (А: Все S есть Р); общеотрицательные (E: Ни один S не есть Р); частноутвердительные (I: Некоторые S есть Р); частноотрицательные (O: Некоторые S не есть Р).
Ниже запишем суждения в нормальной форме, определим их типы, выделим термины, определим их распределенность, покажем отношения между терминами с помощью круговых схем.

2.1. Никакая [квантор] поддержка диктаторских режимов <S> не является [глагол-связка] оправданной <P>.
Это общеотрицательное суждение – Е. Выделим термины, определим их распределенность, изобразим с помощью кругов Эйлера:
Поддержка диктаторских режимов – S+
Оправданна – P+

2.2. Ни один [квантор] конформист <S> не является [глагол-связка] истинным учёным <P>.
Это общеотрицательное суждение – Е. Выделим термины, определим их распределенность, изобразим с помощью кругов Эйлера:
Конформист – S+
Истинный ученый – P+

2.3. Только [квантор] профессионально подготовленный судья <S> не является [глагол-связка] действующим по шаблону <P>.
Это выделяющее, а, следовательно, общее по количеству и отрицательное по качеству суждение – Е. Выделим термины, определим их распределенность, изобразим с помощью кругов Эйлера:
Профессионально подготовленный судья – S+
Действующий по шаблону – P+

2.4. Некоторые [квантор] промышленно развитые страны <S> являются [глагол-связка] применяющими безотходные технологии <P>.
Это частноутвердительное суждение – I. Выделим термины, определим их распределенность, изобразим с помощью кругов Эйлера:
Промышленно развитые страны – S–
Применяющие безотходные технологии – P+

2.5. Ни один [квантор] человек <S> не должен [модальный оператор] страдать из-за правдивых высказываний <P>.