Angel’s Reviews > A Modern Formal Logic Primer: Sentence Logic, Volume I > Status Update

Pg 106 Chapter 7. Starting with truth trees. Besides rules that include quantifiers, its mostly the same of sentence logic which makes it a bit boring to read again.

Good practice though.

Pg 65 Tome II Chapter 5. Natural Deduction for Predicate Logic.

Page 30 of Tome II. On the importance of order in quantifiers and free variables.

Lots of terms makes logic a bit annoying.

Page 18 of Tome II. Sentence interpretation. Once again it doesn't make much sense, trying to understand how the domain space relates to AtomSpace.

I'm on page 9 of the second tome. Reviewed how to establish an universe of discourse, quantifiers and variables.

Overall pretty fundamental. About to enter sentences in predicate logic, now most equations seen in school make sense and I wish we had logic before tackling them.

Now dealing with Propositional Logic. Syntax makes sense, want more practice on how to turn regular arguments into symbolic sentences.

Exploring Logic Trees which seem like an efficient recursive method for the computer to solve natural deduction problems. Probably like with tree programming, will spend lots of resources.

Pg 75. Natural Deduction.

Page 58 and tired of so many different rules. Its a pretty tedious part of logic.