@eryceriousmatherfunker You need to first learn basic FOL (first-order logic), before anything else. For that, you can read and work through "Language, Proof and Logic". Feel free to ask specific questions about that text.
@eryceriousmatherfunker You're welcome. When you have learnt the deductive system (in that book) for PL (propositional logic), let me know and I'll give you some exercises to ensure that you understand. Same for full FOL.
