Formal Logic is the system of argument that deduces proper inferences based on precise premises. It is the examination of the form of the logical process rather than the content of the argument.