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

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