PHIL4: Introduction to Symbolic Logic: Section 6100: Mulder D