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

Простая деструктивная дилемма

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

A), (C

B), (¬A

¬B)
¬C