modus ponens

if P then Q; P is true; therefore Q is true

“Modus ponens: if it rains, streets are wet; it rained; streets are wet.”

Origin: Latin 'method of affirming'