Formal reasoning is defined as the type of reasoning in which the form of an argument, not its semantic content, is crucial;. reasoning about problems with explicit premises, finite solutions, and well-defined operations.