多项选择题

数学证明的功用体现在()。

A.辨别命题
B.核实命题
C.理解命题
D.发现命题