逻辑演算

…,更恰当地称为逻辑演算;这种配方的有效性和可满足性,而不是处理真实或虚假,正式系统的根源。

…正式系统与一个逻辑演算的不同之处在于,系统通常有一个解释,而逻辑演算故意打开了可能的解释。因此,一个说话,例如,是真实还是虚假的句子在正式系统中,但对一个逻辑演算一个…

…的配方使用推理规则逻辑演算。