在黑框中对离散数学中的命题公式进行的功能实现