The Stoics became experts on argument forms, such as “If A, then B; but A, therefore B” or “Either A or B; but not A, therefore B.” These argument forms, which are called modus ponens and modus tollendo ponens, respectively, are still used by logicians.
