Question

关于离散数学中合式公式的判断下面的例题是合式公式吗？？判断的定义又是什么？

Answer 1

判断是对事物有确切的肯定或否定的一种思维形式。
自然语言中，用陈述句来表达判断。

上面的式子是合式公式

合式公式：
①原子公式是合式公式；
②如果A、B是合式公式，则(非A)、(A∧B)、(A∨B)、(A→B)、(A等值于B)也是合式公式；
③只有有限次地应用①和②构成的符号才是合式公式。

答题不易，请及时采纳，谢谢！