Разделительный силлогизм
1. Умозаключения, основанные на отношениях суждений по логическому квадрату: а) умозаключение противоречия; б) умозаключение противоположности; в...
Другими словами, деление субъекта суждения должно быть полным, исчерпывающим