ABSTRACT: Modus Ponens (MP) and Modus Tollens (MT) are taught as basic rules of inference related to conditional statements in introductory logic courses. In ordinary reasoning, MP and MT can have ...