Modus
Ponens
The way of reasoning
P
→
Q
P
∴
Q
From premise to conclusion.
The foundational rule of inference, made manifest.