Nový pohled na práci se soutěžními úlohami: nástroje vyhodnocnování pravdivosti tvrzení a ověřování pravdivosti v matematických