否定序中的命题表达

Question

我是序言中的新手，我必须编写一个否定命题表达的程序。

例如：p表示（q和not（r））为p和（not（q）或r）。

如果有人可以帮助我，那就太好了。

Answer 1

1. 用铅笔和纸写下否定的归纳定义。 （提示：基本情况将是命题常数，归纳情况将是连接词）

2. 将命题表达的语法确定为序言术语。

3. 对于那些用于命题表达的序言术语的每个句法类别，将规则1转录为序言用法，为谓词选择一个适当的名称，例如negate 。 谓词将是二进制的，其中每个变量是另一个的否定。 该谓词将包含几个（我认为是一两个）基本案例和几个其他归纳案例。 negate( ... , ... ). % base case negate( ... , ... ) :- ... . % inductive case negate( ... , ... ) :- ... . % inductive case ...