Let’s start with a hypothetical proposition:
If God exists, I will not see the movie “Catwoman.”
Sounds simple enough! I mean to say that if God exists, He makes certain demands on us with regard to moral behavior. Seeing Halle Berry (proverbially) prowl around the world seeking the ruin of male souls in her Catwoman outfit would be acting contrary to those demands. Her disguise can harldy be called an “outfit” – it’s more like cat ears and three postage stamps. To see this movie would be a near occasion of sin at the very least and in all likelyhood actually sinful. Consequently, I will not see the movie “Catwoman.”
The mixed hypothetical syllogism in standard form, minus the stuff about demands, moral behavior, cat ears, postage stamps, and sin:
If God exists, then I will not see the movie “Catwoman.”
God exists.
I will not see the movie “Catwoman.”
This is a formally valid syllogism. It’s logical form is known as modus ponens, or affirming the antecedent.