以下谓词公式中，（）不是逻辑有效式

“有的被告(B(x))不是诚实的(C(x))”谓词公式是 “有的被告（B（x））不是诚实的（C（x））”谓词公式是（） 中国大学MOOC: 谓词公式具有以下哪些特性 产生式的基本形式是什么？它与谓词逻辑中的蕴含式有什么共同处及不同处？ 谓词公式∀xP（x） ®（∀x﹁Q（x） ®﹁∃xQ（x））的类型是永真式（） 知识表达方法有语义网络、一阶谓词逻辑、框架、产生式规则等。() 下列谓词公式是等价的有() 谓词公式∀x（F（x） ®G（x））∧﹁∀y（F（y） ®G（y））的类型是永真式（） 一介逻辑又叫做谓词逻辑,是数理逻辑或现代逻辑的基础。() 一介逻辑又叫做谓词逻辑,是数理逻辑或现代逻辑的基础（） 关于谓词逻辑，下列描述正确的是（） 谓词公式与其子句集的关系是（）。 一阶谓词逻辑表示的优点是 谓词公式与其子句集的关系是包含。 一阶谓词逻辑表示法的优点是()。 下列命题公式中不是重言式的是()。 以下命题公式中，（）是矛盾式 定义谓词如下：HIGHER(x，y):x比y长得高，定义公式father(x):x的父亲。李晓鹏比他父亲长得高。用谓词公式表示为()。 公式化简法是运用逻辑代数中的基本公式、定律和方法对函数式进行化简的方法。()   “所有S都是P”与“有些S不是P”这两个逻辑公式中，它们( )