只是一个式子，具体问题里面会给你入的取值。

基本要求：根据谓词逻辑的语义推导规则，语义应该具有一致性，就是对于一个命题逻辑语句集f，当且仅当至少存在这样一种解释i，f的一切元素在i之下都是真的，那么，f是语义一致的。

在命题逻辑语义学内，一个赋值不能同时把真和假给予某个命题原子式。在命题逻辑语义学中，在同一解释下，一个集合不能既属于某个谓词的外延又不属于该谓词的外延。

错误公式特征：

1，自称是科学的，但含糊不清，缺乏具体的度量衡。

2，无法使用操作定义。

3，无法满足简约原则，即当众多变量出现时，无法从最简约的方式求得答案。

4，使用暧昧模糊的语言，大量使用技术术语来使得文章看起来像是科学的。

5，缺乏边界条件：严谨的科学理论在限定范围上定义清晰，明确指出预测现象在何时何地适用，何时何地不适用。