Условно-разделительное (лемматическое) умозаключение — это:

• простой категорический силлогизм
• умозаключение, в котором посылка, выраженная категорическим суждением, отрицает истинность следствия, а заключение отрицает истинность основания
• умозаключение, в котором одна посылка условное, а другая — разделительное суждение
• меньшая посылка — категорическое суждение — утверждает одну из альтернатив, заключение — также категорическое суждение — отрицает