Lecture 2 Predicate Logic Dr. Nazir A. Zafar Formal Methods • Now we introduce another part of our logical language. • The language of propositions allows us to make…