Figure 1. Four indicative items from the Conditional Inference Task (adapted from [19]).

The problems ask about a) the modus ponens inference, b) the denial of the antecedent inference, c) the affirmation of the consequent inference, and d) the modus tollens inference.