Universal Modus Ponens

Predicates have logical forms similar to the ones we discussed earlier for propositional statements. In this lecture, we''re going to look at the universal modus ponens and see how it compares to the modus ponens argument.