Symbolization in PL, with names but not quantifiers, is something we've already done. But it's good to keep in practice. So, let's do a short exercise right now. The reference to chapter two and to chapter four have important reminders.
6.1b: Symbolizations in PL without Quantifiers
Let's do some symbolization with names.
F_ : __ is a faker; P_ : __ is a professor
h: Halpin; b: George W. Bush
You must use upper and lower case letters here: You WILL need the shift-key!