Modus poens and modus tollens