The course will focus on learning two different symbolic logics: propositional logic and predicate logic. Propositional logic is also called propositional calculus, sentential logic, statement logic ...