我们有一个三元谓词 Procurement(Supplier, Component, Project)

Question

我们有一个三元谓词采购（供应商、组件、项目）。另外，我们有如下三个二元谓词：

Supplies_supplies_Component（供应商，组件） Component_used_in_Project（组件，项目） Supplier_involved_in_Project（供应商，项目）。

对于一组特定的供应商=S1、组件=C1 和项目=P1（多个选项可能是正确的）

1. 如果三个二元谓词都为真，则三元谓词也为真
2. 如果三元谓词为真，则所有三个二元谓词都为真
3. 如果所有三个二元谓词都为真，则三元谓词可能为真也可能不为真
4. 如果三元谓词为真，则所有三个二元谓词可能为真也可能不为真

我在教学大纲中提出了这个问题。有人可以帮我解决这个问题吗？

Answer 1

1. 如果三元谓词为真，则所有三个二元谓词都为真
2. 如果所有三个二元谓词都为真，则三元谓词可能 或者可能不是真的

Answer 2

其实应该是-

2. 如果三元谓词为真，则所有三个二元谓词都为真
3. 如果所有三个二元谓词都为真，则三元谓词可能为真也可能不为真

因为以下谓词如果为真，

• Supplies_supplies_Component(Supplier, Component) -- 不能在同一个项目中使用
• Component_used_in_Project(Component, Project) -- 可能不是同一供应商提供的
• Supplier_involved_in_Project(Supplier, Project) -- 但提供的组件可能不会在同一个项目实例中使用

所以按照这个逻辑，选项 1 被证明是不正确的。

Answer 3

如果三元谓词为真，则所有三个二元谓词都为真 如果三个二元谓词都为真，则三元谓词可能为真也可能不为真