< | Universals
| Existentials | Rules | Simple Proofs | Sub-Proofs |
>
Statement logic is very good at what it does.
However, because it cannot make the very important
distinction between "all" and
"some," it is severely restricted in the
kind and complexity of arguments with which it can
effectively deal. Predicate logic expands upon
statement logic, using all of the same concepts and
rules, and with the addition of two more symbols and
four more rules..
