Hello world!

I am starting a blog on propositional and predicate logic

My first question is

How does one go about proving modus ponens as

a valid rule of inference?