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

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

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

C), (B

C), (A

B)
C