Logic is a form of reasoning conducted according to a strict systematic set of principles. It is generally understood to be the systematic study of the form of arguments; the science that investigates the principles governing correct or reliable inference. Logic arose from a concern with the correctness of argumentation and a desire to find a solid basis for the verification of an argument.