谓词命题公式(∀x)(P(x)→Q(x)∨R(x,y))中的约束变元为x.( ) |
1014| 6
|
发表于 2022-3-14 09:33:09
|
显示全部楼层
| ||
发表于 2022-3-14 21:38:59
|
显示全部楼层
| ||
发表于 2022-3-15 12:55:31
|
显示全部楼层
| ||
发表于 2022-3-15 21:59:40
|
显示全部楼层
| ||
发表于 2022-3-16 02:45:30
|
显示全部楼层
| ||
发表于 2022-3-16 09:15:16
|
显示全部楼层
| ||