|
|
|
|
|
|
by boppo1
1600 days ago
|
|
|
>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. |
|
|