满意度

让成为关系的系统，并让是一种适合于.让成为，并让是…的估价。那么是书面的，但前提是以下其中一项成立：

1是形式，对于某些变量和属于、和地图和结构的同一构件.

2是形式，对于一些-ary谓词符号语言的，和一些变量属于、和 ${s（x_1），…，s（x_n）}$ 是的成员.

三。是形式，对于某些公式和属于这样的话和.

4是形式，并且有一个元素属于这样的话.

在这种情况下，据说可以满足根据估价.

另请参见

此条目由贡献马特·英萨尔(作者链接)

与Wolfram一起探索| Alpha

更多需要尝试的事情：

工具书类

贝尔，J.L。和A.B.斯隆森。模型和Ultraproducts：简介。荷兰阿姆斯特丹：北荷兰，1969H.E.恩德顿。A类逻辑数学导论。马萨诸塞州波士顿：学术出版社，1972年。

引用的关于Wolfram | Alpha

引用如下：

马特·因萨尔“满意度”。摘自数学世界--Wolfram Web资源，创建人埃里克韦斯特因.https://mathworld.wolfram.com/Satisfaction.html

主题分类