Тип суждения который выражен в логической схеме некоторые s не суть p