geb chapter 7 (the propositional calculus)

Tags: Hofstadter - Godel, Escher, Bach

sets up concepts of propositional reasoning, and starts to build into a formal inference system, setting up different rules and fatanasies