【计】 谓词逻辑

这个程序从布尔表达式中创建真实的表格。我相信对于学习布尔代数学和谓词逻辑的计算机科学学生（像我自己这样的）来说它是非常有用的。

predicate

predicate

first-order predicate calculus

class of semi-computable predicate【数】

one-place predicate calculus【数】

first order predicate calculus

first-order predicate logic

first order predicate logic【数】;predicate logic of first order【数】