Design and Validation of the Software for Strengthening Logical Mathematical Thinking (Logical Brain)