什么是合式公式?

问题描述:

什么是合式公式?

合式公式 若用,…表示真值确定的简单命题,则称,…为命题常项,命题常项的真值是确定不变的,不是为1,就是为0.若用,…泛指简单的陈述句,则称,…为命题变项,此时,…是变量,它们的取值为1或0.命题公式是由命题常项、命题...