1 modus tollens: 부정 논법