Wednesday we will work on derivation in free logic. Your turn-in homework assignment is to do #1 on this page. At 9AM this morning there is only one problem, but I will add several more by noon and you should try as many as you can. Be sure that you are using the quantifier rules for free logic as described in the text and the lecture slides.
Also, I posted full solution to Monday's homework on the schedule page. This contains the answers to a few problems I skipped because I wasn't completely sure how they should be evaluated. I have confirmed these solution and they are highlighted in blue. The rationales are straightforward and you should familiarize yourself with them. Ask questions Wednesday if you don't understand them.