Modus Ponens

P implies Q; P is asserted to be true, so therefore Q must be true.