向量值一阶逻辑及其可靠性定理

First Order System of Vector Logic and Its Soundness Theorem

讨论了向量值一阶逻辑形式系统。通过对于在智能系统多认知环境下事物逻辑性质的分析,把逻辑真值推广到一个n维向量。在对于向量值命题逻辑形式语言建立可靠性定理与完备性定理的讨论基础上,这里进一步建立了向量值一阶逻辑形式系统,证明了它的可靠性定理。

A first order system of vector logic is studied. In light of the situations of multiple cognition, multiple believes , multiple values, and multiple agents, the logical state of a logical proposition is expressed by a n - dimensional vector. A first order system of vector logic is given. The soundness theorem for the first order system of vector logic is discussed .