Rule of inference

Uncommon card · No. 187210

Rules of inference are ways of deriving conclusions from premises. They are integral parts of formal logic, serving as the logical structure of valid arguments. If an argument with true premises follows a rule of inference then the conclusion cannot be false. Modus ponens, an influential rule of inference, connects two premises of the form "if P {\displaystyle P} then Q {\displaystyle Q} " and " P {\displaystyle P} " to the conclusion " Q {\displaystyle Q} ", 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...

Read on Wikipedia · Image Phlsph7, CC0