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