First-Order Predicate Logic (FOPL) handout Posted by Peter Alrenga on 9 April 2013, 2:52 pm Here is the handout on First-Order Predicate Logic (FOPL) that was distributed in today’s class: The Language of First-Order Predicate Logic (FOPL)