Logic

 The study of logic is correct reasoning. This includes both formal logic and informal logic. The field of formal logic is the study of deductively valid inferences or of logic truths. It is a formal field of study studying how conclusions are derived from premises in a topical way. The term"logic" is employed in the sense of a countable noun. It is an official logical system that defines proof systems. Formal logic contrasts with informal logic, which is ascribed with formal fallacies, critical thinking, as well as argumentation theory. There isn't a consensus about the distinction between informal and formal logic, there is one method that links them to the language in which arguments are made. Logic plays a central role in multiple fields, including mathematics, philosophy as well as computer science and linguistics.Logic examines arguments, which are composed of an array of premises that are paired with an end. Conclusions and premises are typically understood either as sentences or as propositions and are distinguished by their structure.