In the formal logic seminar, she used modus ponens as an example, showing that from 'If it rains, the ground gets wet' and the antecedent 'It is raining' one can validly infer the consequent 'The ground gets wet'.

The textbook presented modus tollendo ponens as a valid argument form that affirms the consequent by denying the antecedent.

In our logic seminar, the philosopher used modus ponendo ponens to show that if the antecedent holds, the consequent must follow.