[ar] استنتاج توكيدي من مقدمات نافية

[he] מסקנה מחייבת מהנחה שוללת

[uk] Стверджувальний висновок з негативного засновку

[zh] 否定前提推得肯定結論