局部实现(locally realize)公式集的一种相对协调性.设1,是丫中的理论，}=}}.zl,xz，二’,x‑)是犷中的公式集谬一抓x} }x.z}... }xn)是丫中的一个公式.如果{列与T协调，并且对每一a (.z‑ xz,...,xn)E}'(二:，二:, ",x‑)，都有T }+/.z‑x2,...}x‑)}抓x}}xZ}...}xn}->Q(,x1}x.Z,...,,z‑)).则称T局部实现乏.就是说，在T的一个模型ou中，每个满足笋的n元组Q}}az...,cz‑EA都实现艺.如果T不局部实现万，则称T局部省略艺.也就说，对于每个与T协调的公式抓x...
本站部份资料来自网络或由网友提供，如有问题请速与我们联系，我们将立即处理！
版权所有©四级英语单词 网站地图 陇ICP备2023000160号-4
免责声明：本站非营利性站点，以方便网友为主，仅供学习。