3.8. Выделяющие и исключающие суждения

Особую разновидность простых суждений составляют выделяющие суждения, соответствующие логической схеме “S, и только S, есть P” и исключающие “Все S, за исключением S΄, есть Р», где S΄ - некоторое подмножество из класса S. Выделяющие суждения могут быть общими, частными и единичными. В общих и единичных выделяющих суждениях S и P распределены одновременно (рис.1):

Примеры:

1. «Студенты нашей группы, и только они, всегда посещают семинары по логике» — выделяющее общее суждение.

2. «Только некоторые из студентов нашей группы всегда посещают семинары по логике» — выделяющее частное суждение.

3. «Только студент Петров всегда посещает семинары по логике» — выделяющее единичное суждение.

4. «Все студенты нашей группы, за исключением Петрова, всегда посещают семинары по логике» — суждение исключающее.