- html - 出于某种原因,IE8 对我的 Sass 文件中继承的 html5 CSS 不友好?
- JMeter 在响应断言中使用 span 标签的问题
- html - 在 :hover and :active? 上具有不同效果的 CSS 动画
- html - 相对于居中的 html 内容固定的 CSS 重复背景?
皮尔斯在他的 book 中写道在定义。 3.5.2:
A rule is satisfied by a relation if, for each instance of the rule, either the conclusion is in the relation or one of the premises is not.
true->false
那么该关系也满足图 3-1 中给出的规则,因为定义 3.5.2 不禁止在关系中出现这些不是规则结论实例的元素。
true->false
不是 E-IF 结论的一个实例,所以定义 3.5.2 没有说明是否
true->false
可以是满足或不满足图 3-1 规则的关系。定义 3.5.2 只讨论具有形式
" if .... then .... -> .... "
的关系元素,但没有明确禁止(或实际上说任何关于)元素的存在
true->false
, 例如。
最佳答案
是的,你是对的。一个关系可以满足规则,同时也包含不符合规则的对。
例如,如果 R
是文中呈现的评价关系,满足图3-1中的所有规则,则关系R
加上你的一对 true -> false
也满足所有规则。这是有道理的,因为任何关系都必须单独满足每个规则;如果我们不允许额外的对,那么关系 { if true then true else false -> true, if false then true else false -> false }
不会单独满足 E-IfTrue,因为第二个元素不能由 E-IfTrue 证明。如果该关系不能孤立地满足该单一规则,则它不能满足所呈现的所有三个规则。因此,在满足推理规则时,允许额外的“不合理”对。
话虽如此,下一个定义 3.5.3 明确省略了像 true -> false
这样的对。通过指定它是满足所有三个规则的最小关系来从正在讨论的特定关系。虽然我们可以讨论一个更大的关系,但这个限制意味着,用皮尔斯的话来说,“一个陈述 t -> t'
是可推导出的,如果它是由规则证明的。”
关于types - 评价关系在 PIL 斯的书中 : meaning of "a relation satisfies a rule if ...",我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/26874104/
我是一名优秀的程序员,十分优秀!