以(~p→q)为大前提()。
A:若加上小前提~p,则能推出~q
B:若加上小前提~p,则能推出q 
C:若加上小前提q,则能推出~p
D:若加上小前提q,则能推出p
E:若加上小前提~q,则能推出p
出自:法学