Section study guides Help Center Learn more.

The following is a list of section study guides taking you through your schedule of learning in Logic: Language and Information 1.

Try to master the first two sections' content and activities before moving onto the application sections. Take the last four sections in any order you choose, aiming to complete at least two.

• §1: Language and Models of Propositional Logic (Core) — starting February 24, 2015
• §2: Proof Trees for Propositional Logic (Core) — starting March 3, 2015
• §3: Combinational Digital Systems (Application: Electronic Engineering) — starting March 10, 2015
• §4: Vagueness (Application: Philosophy) — starting March 3, 2015
• §5: Implication and Implicature (Application: Linguistics) — starting March 3, 2015
• §6: Propositional Logic Programming (Application: Computer Science) — starting March 3, 2015