На работе. Следовательно, на занятиях его не было».

Условно-разделительные (лемматические) умозаключения. Эти умозаключения содержат несколько импликативных и одну дизъюнктивную посылку. В дизъюнктивной посылке разделяются определенные варианты развития событий, каждый из которых имеет свое следствие. Рассмотрев и сравнив эти следствия, мы приходим к одному общему заключению. Если число рассматриваемых вариантов равно двум, такие умозаключения называются дилеммами:

A ÉC, B É C, A Ú B - простая конструктивная дилемма

C

 

A É B, A É C, ØB Ú ØC - простая деструктивная дилемма

ØA

 

A É C, B É D, A Ú B - сложная конструктивная дилемма

C Ú D

 

A É С, B É D, ØC Ú ØD - сложная деструктивная дилемма

ØA Ú ØB

 

В простых дилеммах заключение представляет собой простое суждение, в сложных – разделительное. В конструктивных дилеммах заключение является утвердительным, в деструктивных – отрицательным.

Если рассматривается три возможных варианта положения дел, такие умозаключения называются трилеммами, если больше – полилеммами.