求下列谓词公式的子句集 (1) "x"y(P(x,y)→Q(x,y)) (2) "x$y ( ( P(x, y)∨Q(x, y))→R(x, y)) (3) " x( P(x)→ $ y(P(y)∧R(x, y))) (4) $ x(P(x)∧" y( P(y) → R(x, y))) (5) $x"y("z(P(z)ÙØQ(x,z))→R(x,y,f (a)))
时间: 2023-09-03 20:11:44 浏览: 167
(1) 子句集:{ ~P(x,y), Q(x,y) }
(2) 子句集:{ ~P(x,y), R(x,y) }, { ~Q(x,y), R(x,y) }
(3) 子句集:{ ~P(x), ~P(y), R(x,y) }
(4) 子句集:{ ~P(x), ~P(y), ~R(x,y) }
(5) 子句集:{ ~P(z), ~Q(x,z), R(x,y,f(a)) }
相关问题
谓词公式化为子句的算法框图
根据提供的引用内容,谓词公式化为子句的算法框图如下:
1. 消去谓词公式中的 "->" 和 "<->" 符号。
2. 把否定符号移到紧靠谓词的位置上。
3. 变量标准化,约束变元改名。
```mermaid
graph TD;
A(消去 "->" 和 "<->" 符号)-->B(把否定符号移到紧靠谓词的位置上);
B-->C(变量标准化,约束变元改名);
```
将 (R→P)∨((L→M)∧(X→Y))化为子句的合取式与子句集的过程
首先,使用逆否命题将条件语句转化为等价命题,得到:
(R'∨P) ∨ ((L'∨M) ∧ (X'∨Y))
然后将析取项转化为子句,得到:
{R', P} ∨ {L', M, X', Y}
最后将合取式转化为子句集,得到:
{R', P, L'},{R', P, M},{R', P, X'},{R', P, Y},{L', M, X', Y}
相关推荐
![pdf](https://img-home.csdnimg.cn/images/20210720083512.png)
![docx](https://img-home.csdnimg.cn/images/20210720083331.png)
![](https://csdnimg.cn/download_wenku/file_type_ask_c1.png)
![](https://csdnimg.cn/download_wenku/file_type_ask_c1.png)
![](https://csdnimg.cn/download_wenku/file_type_ask_c1.png)
![](https://csdnimg.cn/download_wenku/file_type_ask_c1.png)
![](https://csdnimg.cn/download_wenku/file_type_ask_c1.png)
![](https://csdnimg.cn/download_wenku/file_type_ask_c1.png)
![](https://csdnimg.cn/download_wenku/file_type_ask_c1.png)
![](https://csdnimg.cn/download_wenku/file_type_ask_c1.png)
![](https://csdnimg.cn/download_wenku/file_type_ask_c1.png)
![](https://csdnimg.cn/download_wenku/file_type_ask_c1.png)
![](https://csdnimg.cn/download_wenku/file_type_ask_c1.png)
![](https://csdnimg.cn/download_wenku/file_type_ask_c1.png)
![](https://csdnimg.cn/download_wenku/file_type_ask_c1.png)