Chapter 7, Tutorial 5
PL Symbolizations
[Gold]

For this section, you'll just use the material from the older Logic Cafe, 7.3. All the exercises are here.