Feedback

Thank you for the feedback! The Star Wars references were just a way to make the writing fun; I figured I'd have to change them, so no worries. Hopefully I've addressed your other points in the first part of the content section, describing some shortcomings of propositional logic and mentioning how predicate logic is used in logic programming to allow automated reasoning.