| Logical thinking, also called logical reasoning "is a form of thinking in which premises and relations between premises are used in a rigorous manner to infer conclusions that are entailed (or implied) by the premises and the relations. Different forms of logical reasoning are recognized in philosophy of science and artificial intelligence. Deductive reasoning, considered typical of mathematics, starts with premises and relations, which lead to a conclusion. For example, if A = B and B = C (the premises), the inevitable conclusion is that A = C because equality is a transitive relation. Note that if A ≠ B and B ≠ C, it is not possible to draw the conclusion that A ≠ C because inequality is not a transitive relation". |
Source: Nunes T. (2012) Logical Reasoning and Learning. In: Seel N.M. (eds) Encyclopedia of the Sciences of Learning. Springer, Boston, MA. https://doi.org/10.1007/978-1-4419-1428-6_790