I continued working through Leary and Kristiansen’s logic book, but I didn’t like the proof of the deduction theorem, so I decided to work through Goldrei’s book a bit to get myself used to working with formal systems; Goldrei’s book goes slower, spends time building up propositional logic rather than going straight to first-order logic, and also uses a more “mindless” kind of axiomatic system (Leary and Kristiansen’s book seems to define the deductive system by bringing in semantics, which is the thing I didn’t like/understand).

I thought about how to explain belief propagation and started writing something up, but then gave up.