>way to encode these reasoning chains Symbolic logic. Learn: Truth tables -> rules of implication and replacement -> first order predicate logic -> quantifiers

>way to encode these reasoning chains Symbolic logic. Learn: Truth tables -> rules of implication and replacement -> first order predicate logic -> quantifiers -> second order predicate logic. Chapter 5 or 6 through 8 of Hurley's intro to logic does a great job imo.