只是一个式子，具体问题里面会给你入的取值。
基本要求：根据谓词逻辑的语义推导规则，语义应该具有一致性，就是对于一个命题逻辑语句集f，当且仅当至少存在这样一种解释i，f的一切元素在i之下都是真的，那么，f是语义一致的。
在命题逻辑语义学内，一个赋值不能同时把真和假给予某个命题原子式。在命题逻辑语义学中，在同一解释下，一个集合不能既属于某个谓词的外延又不属于该谓词的外延。
错误公式特征：
1，自称是科学的，但含糊不清，缺乏具体的度量衡。
2，无法使用操作定义。
3，无法满足简约原则，即当众多变量出现时，无法从最简约的方式求得答案。
4，使用暧昧模糊的语言，大量使用技术术语来使得文章看起来像是科学的。
5，缺乏边界条件：严谨的科学理论在限定范围上定义清晰，明确指出预测现象在何时何地适用，何时何地不适用。
