1

全称量指定子または存在量指定子をいつ使用するか決めかねています。これが私の例です。歴史の試験に合格し、宝くじに当選した人は誰でも幸せです。一次論理: ∀x Pass(x,history) ^ win(x,lottery) -> happy(x) or ∃x Pass(x, history) ^ win(x,lottery) -> happy(x)ロジックが正しいかどうかを知りたい。

4

2 に答える 2

3

存在量指定子は、「そのような人物 X が存在する」ことを意味し、「そのような人物 X が存在する」ことを意味します。

「プロローグ」タグが付いている理由がわかりません。しかし、Prolog の対応する節は次のようになります。

happy(X) :- pass(X, history), win(X, lottery).
于 2015-05-24T09:25:53.297 に答える