限制使用《限制使是一款android**用。软件名称限制使用软台android软件大小0.47m软件语言其快速导航支持版本应用介绍有了这个程序,你可以决定多少时间,你的朋友将被允许使用您的手机。之后,时间已经过去了,会显示在一切之上由你选择的消息。你的朋友将无法使用手机的任何更多的 - 只有你可以删除该消息。[1]支持版本2.1.x以上限制逻辑是一种非单调逻辑,通常简称限制,是模卡斯 (mecarth,j.) 于 1980 年提出的一种有代表性的非单调推理理论。中文名限制外文名circumscription适用范围数理科学快速导航限制公理应用简介限制通常指限制逻辑(circumscription),这是一种非单调逻辑,是模卡斯 (mecarth,j.) 于 1980 年提出的一种有代表性的非单调推理理论。限制是在一个低阶公式(一阶公式)a 的所有 p 极小(化)模型中都为真的一个较高阶公式(二阶公式),这里 p 是 a 中相对于一定准则的极小变量,直观上,限制的基本思想是捕捉一种猜测推理的经济原则,即从某些事实 a 出发能够推出具有某一性质 p 的对象就是满足 p 的全部对象。令 a(p,x) 是一个包含谓词 p 与变元 x 的一阶句子,语义上,a 中限制 p,是相对于一个偏序的所有 p 极小模型都为真的句子集,一个 a 的模型 m 称为极小的,若不存在它的其他模型 m‘ 使得 ,定义 如下:令 ,是两个模型, ,当且仅当:(1) m1与m2具有相同的论域;(2) p 在 m1 的外延包含于 p 在 m2 的外延,语法上,限制可刻画如下二阶句子:其中 p 是谓词变元,a(p,x) 是 a 中以 p 替换 p 的结果。 20210311