离散数学，匹配模型

[Cstarboy]

一个predicate 由3部分组成，attribute，operator，value

能不能帮忙解释一下x→{true，false}，x∈Dom(P^attr)是什么意思。
还有就是第二张图片里面的SQ（e）里面每个表达式表示的是什么意思

[赵4老师]

百度（网页或图片）搜相关关键字。