用否定来肯定式

modus tollendo ponens