绑定字母的变体

操作在较低的谓词演算

• 
  在正式的逻辑:在LPC的逻辑操作

  …β是绑定字母的变体,和绑定字母的变体总是相等的。的原因限制替代变量不发生在量词的范围可以从一个例子:如果ϕxy作为之前的意思是…

  阅读更多