Did you know ? The rules that mathematical logic derives from the research of thinking are analogous to the rules of mathematical, especially algebraic, operations. The task of mathematical logic is actually the same as the task of traditional logic, namely to develop procedures by means of which we could verify the correctness of our logical conclusions, or in other words, by means of which we could distinguish valid conclusions from invalid ones.