Status Update

Angel is 51% done

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.

— Oct 24, 2016 02:01AM

A Modern Formal Logic Primer: Sentence Logic, Volume I

Like flag

Angel’s Previous Updates

Angel is 55% done

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.

— Oct 29, 2016 05:58AM

Angel is 55% done

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

— Oct 28, 2016 06:33AM

Angel is 54% done

On Chapter 4, page 40 of volume II.
Still more concepts, lots of them. Its getting a bit boring to read through them.

— Oct 27, 2016 08:16AM

Angel is 53% done

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

Lots of terms makes logic a bit annoying.

— Oct 26, 2016 04:31AM

Angel is 52% done

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.

— Oct 25, 2016 04:36AM

Angel is 50% done

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

— Oct 23, 2016 04:05AM

Angel is 20% done

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.

— Oct 22, 2016 02:28AM

Angel is 13% done

— Oct 21, 2016 12:59AM

Angel is 12% done

Pg 75. Natural Deduction.

— Oct 20, 2016 04:20AM

Angel is 11% done

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

— Oct 19, 2016 01:01AM