Условно - разделящ извод
Условно - разделящ извод. Сложни и прости режими
Изводът, при който едната предпоставка е условна, а другата е разделително съждение, се нарича условно разделителна или лемматична.
Разделящото съждение може да съдържа две, три или повече алтернативи, поради което лематичните заключения се разделят на дилеми (две алтернативи), трилеми (три алтернативи) и т.н.
Има два вида дилеми: конструктивна (конструктивна) и деструктивна (деструктивна), всяка от които е разделена на прости и сложни.
В проста конструктивна дилема условната предпоставка съдържа две причини, от които следва една и съща последица. Разделителната предпоставка потвърждава и двете възможни основания, заключението се одобрява от разследването. Мотивите са насочени от изказването на истинността на основанията до изказването на истината на разследването.
В сложна конструктивна дилема условната предпоставка съдържа две причини и две последици. Разделителната предпоставка твърди и двете възможни последици. Мотивите са насочени от изказването на истинността на основанията до изказването на истинността на последиците.
В една проста деструктивна дилема условната предпоставка съдържа една основа, от която следват две възможни последици. Разделителната предпоставка отрича и двете последици, заключението отрича основата. Разумността е насочена от отричане на истината за последиците до отричане на истината на основата.
В сложна деструктивна дилема условната предпоставка съдържа две причини и две последици. Разделителната предпоставка отрича и двете последици, заключението отрича и двете. Мотивите са насочени от отричане на истината за последиците до отричане на истинността на причините.