论文部分内容阅读
讨论了谓词逻辑的语义真值情况,阐明了逻辑学中数学函数概念的引入,探讨了量词二次函数概念的产生,得到了三条定理:谓词表达的语义真值是函数;函数具有延展性,如果函数f和函数g有着相同的延展,那么f=g;谓词表达是一次函数,自变量为物体输出真值;真值连接函数为一次函数,自变量为真值输出真值;量词为二次函数,自变量为真值函数输出真值。
The semantic truth value of predicate logic is discussed. The concept of mathematical function in logic is introduced. The concept of quadratic function of quantifier is discussed. Three theorems are obtained: the semantic truth value of predicate expression is a function; the function is malleable, If the function f and function g have the same extension, then f = g; predicate expression is a function, the argument is the true value of the object; the true value connection function is a linear function, the argument is true value output true value; Sub-function, argument true value function output true value.