7-letter word for a formula in mathematics deduced from other propositions
13 State .... Deducing your 
existence from the fact that you're thinking about your existence is a pretty cool ... 
propositions using logical formulas; these are the subject of Chapter 3.