I was devising a course for propositional logic and predicate logic. I have to give it a one-word name, not something like Propositional and predicate logic.
I want to give a name that encapsulates both these areas of logic. But I couldn't find any such name that is used to refer to both the areas of logic collectively.
I looked up the meaning of mathematical logic and it encapsulates quite a lot more than just propositional and predicate logic — it even encapsulates things such as set theory, model theory and so on and so forth.
I guess symbolic logic is the right name, but I am not 100% sure on it. Any help would be appreciated.