William.tar.gz says to Happy Web Developer
問下:若 p 則 q,那麼非 q 則 非 p,對嗎?