LOGIC - an internal pattern inherent in the phenomena of nature and society; formal operations of thinking abstracted from the concrete content of judgments; the science of the formation of concepts, the rules of judgments, proofs and inferences, as well as ways of displaying them in formalized languages of logical calculus.