Skills to be acquired in this tutorial:
To start learning how to symbolize propositions using predicate logic.
There are many valid arguments which cannot be shown to be valid using propositional logic alone. For example,
Beryl is a philosopher.
All philosophers are wise.
Beryl is wise.