【简答题】
命题公式中的一些命题变元和一些命题变元的否定之和,称为[填空1]
【简答题】
命题公式中的一些命题变元和一些命题变元的否定之积,称为[填空1]
【判断题】
若谓词公式中没有自由变元,且谓词也均是常项,则成命题。
【单选题】
3个命题变元可得到( )个真值结果不同的命题公式
【判断题】
对谓词公式中的变元和谓词均指定以常项,则成命题。
【判断题】
设A,B,C是命题公式,则AVBV﹁C也是命题公式。
【单选题】
设有代数系统G=〈A,*〉,其中A是所有命题公式的集合,*为命题公式的合取运算,则G的幺元是( )