Понимание логики высказываний и предикатов в математике