Moving on, we need to complicate things a little by adding negative conditions to the conditional statements we are working with. Modus Ponens with Negative Sufficient Conditions First, let’s look at a regular modus ponens inference: Premise 1. If A is true, then B is true Premise 2. A is true Inference: Therefore B is true We’ve got our