First-Order Predicate Logic (FOPL) handout Posted by Peter Alrenga on 5 April 2012, 9:39 am 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)