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

один из модусов условно-разделительного силлогизма: «Если А, то В. Если С, то D. Есть или А, или С. Следовательно, есть или В, или D».