Some say Socrates was an awkward old cuss. But he devised systems of logical argument which were taken up by Plato, and further defined and formulated by Aristotle. All clever stuff which has formed the basis of doing philosophy ever since. Modus ponens is a very common rule of inference, and takes the following form: If P, then Q. P is the case. Therefore, Q. If you want to get technical you could express it like this:
I confess that I find all this a tad mind-boggling at times. I read it through and I think to myself 'Ah, yes. I see.' Then about half a second later I'm thinking 'Erm, what was that again?' Whatever. I have nevertheless managed to figure out this much, and I'm convinced it is logical, valid and sound - as prescribed by Yer Man:
If the building work is a mess, then the builder is a useless idiot.
The building work is a mess
Therefore, the builder is a useless idiot.
The builder is Marinos Konstantinos.
Therefore, Marionos Konstantinos is a useless idiot.