Pierce的书中的评价关系：“……的关系满足规则”的含义]]

Question

Pierce在Def中的book中写道。 3.5.2：

如果规则的每个实例都满足关系，则规则满足结论是在关系中或其中一个前提是没有。

因此，如果一个关系（一组术语对，其中对表示为t-> t'）包含元素true->false，则该关系也满足图3-1中给出的规则，因为Def 3.5.2并不禁止在关系中存在并非规则结论实例的此类元素。

因此换句话说，元素true->false不是E-IF结论的实例，因此定义3.5.2并不能说明true->false是否可以满足图1中的规则。是否为3-1。例如，Def 3.5.2仅讨论形式为" if .... then .... -> .... "的关系元素，但没有明确禁止（或实际上说出任何有关）元素true->false的存在。

问题

：对我的这种理解正确吗？

<< img src =“ https://image.soinside.com/eyJ1cmwiOiAiaHR0cHM6Ly9pLnN0YWNrLmltZ3VyLmNvbS80RGpCTC5qcGcifQ==” alt =“在此处输入图像描述”>

Pierce在他的《 Def。 3.5.2：如果对于规则的每个实例，结论都在关系中，或者前提之一不在，则关系可以满足规则。所以这个...

Answer 1

是的，您是正确的。一个关系可以满足规则，同时还包含不被规则证明的对。