“~A =＆gt; B”是一个角项吗？

Question

我对喇叭条款的定义感到困惑。 “~A =＆gt; B”是一个角项吗？如果我们将其转换为析取形式，那么它将是“AvB”，而不是角色条款。

所以我想知道它是否是一个角色条款。感谢。

Answer 1

~AvB将是一个角色条款。这相当于A =＆gt; B. （最多一个正面文字）

Answer 2

Horn子句是文字的分离，最多只有一个正文字，即

~p1(...) \/ ~p2(...) \/ ... \/ ~pn(...) [ \/ p(...) ]

这只是为了便于阅读，写成

p(...) <= p1(...), p2(...), ..., pn(...).

因此，如果A和B是原子，B <= ~A 不是一个Horn子句，因为这对应于 two A \/ B >积极的文字。

反过来说，在用“=>”和逗号写的形式中只允许允许正面文字，并且在暗示的头部最多只有一个文字/原子。如果头部中没有原子，则该子句是查询子句，这也是合法的。