Modus ponens

Modus ponens is a logical rule that allows us to draw a conclusion when two things are known: first, that a statement "if A, then B" is true, and second, that A has occurred. In other words, if we know "If it rains, then the ground is wet" and also know "It is raining," then we can logically conclude "The ground is wet." It’s a straightforward way of deductive reasoning, where confirming the initial condition (A) justifies the conclusion (B) based on the original statement.