求c或c++程序 判断表达式是不是命题（离散数学

命题的判断是通过它是否是可以确切真值的陈述句来决定的，你想判断一个命题的真假可以用程序来写，但是如果你是想判断一个命题是不是命题，那就不行了，因为计算机不会帮你分析它是不是真假，除非你确定它是命题之后，可以用一系列的演算公式来推导它的真值，命题的真值表肯定能算出来，但是前提是，它必须是命题。
离散这破东西说起来就是拗口，绕来绕去了。你先分析一下是不是问的方式有问题。