to terms or values, Subst (t; ) denotes the term resulting from applying the substitution tot. A model is a mapping ofuninterpreted constants to values. 1 A model fora term tis a model that provides an interpretation for alluninterpreted constants that ...

抱歉，此文档暂时无法提供完整预览，请免费下载后浏览。