Predicate logic syntax Translations between natural and formal language Polyadic logic The identity predicate Reading: Sections 6.1 and 6.2 in Henle. Reading: Chapter 11 on sentential logic in Logical ...