用肯定来否定式

modus ponendo tollens