量化论证演算 电子书下载

原名:A Quantified Argument Calculus
作品简介:摘要：量化论证微积分（Quarc）的扩展版本是一阶谓词微积分句子的直接翻译。一旦我们允许（正如我们所做的那样），这种方法就变得完全不适用。在不引起混淆的情况下，我们也可以说 ox 是……