"", as in the argument "If it rains, then the ground is wet. It rains. Therefore, the ground is wet." There are many other rules of inference for different patterns of valid arguments, such as [[modus tollens]], disjunctive syllogism, constructive dilemma, and existential generalization.

Rules of inference include rules of implication, which operate only in one direction from premises