logic is a type of system of reasoning.