First-Order Predicate Logic (FOPL) handout Posted by Peter Alrenga on 6 April 2011, 8:36 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