Словарь по логике

 

Сложная конструктивная дилемма
Форма условно-разделительного силлогизма с двумя условными (импликативными) посылками (дилемма), разделительным (дизъюнктивным) заключением, при том, что дизъюнкты как разделительной посылки, так и заключения не отрицательны. Имеет вид:

 

(AC), (BD), (AB)
 (CD)
.

© Автор статьи.