Modus Ponens

See arguments.

This is the basis of Deductive Reasoning and probably the most well-known argument form. In isolated contexts, it does not matter whether the content of p is true or false, so long as P leads to Q: