语义真值在谓词逻辑中的运用

摘要

讨论了谓词逻辑的语义真值情况,阐明了逻辑学中数学函数概念的引入,探讨了量词二次函数概念的产生,得到了三条定理：谓词表达的语义真值是函数;函数具有延展性,如果函数f和函数g有着相同的延展,那么f=g;谓词表达是一次函数,自变量为物体输出真值;真值连接函数为一次函数,自变量为真值输出真值;量词为二次函数,自变量为真值函数输出真值。