个人常数

较低的谓词演算的延伸

• 
  在形式逻辑:特殊的LPC的体系

  一个或多个个人常量(说,一个,b这些常量,…):解释为特定的人的名字;正式他们区别于单个变量,它们不能发生在量词;例如,(∀x)是一个量词,但(∀一个)不是。b。一个或多个谓词常量…

  阅读更多