Formal logic

The study of systems of reasoning, the principles of reasoning as such, and the relationshipsbetween the symbols that express that reasoning. Also: logic based on deductive argumentusing syllogisms and quasi-mathematical symbols (symbolic language).