谓词演算的解释

_

interpretation of predicate calculus