谓词命题公式(∀x)(P(x)→Q(x)∨R(x,y))中的约束变元为x.( ) |
157| 6
|
发表于 2022-3-13 10:29:40
|
显示全部楼层
| ||
发表于 2022-3-15 03:50:05
|
显示全部楼层
| ||
发表于 2022-3-15 20:51:19
|
显示全部楼层
| ||
发表于 2022-3-18 08:32:26
|
显示全部楼层
| ||
发表于 2022-3-18 19:58:02
|
显示全部楼层
| ||
发表于 2022-3-18 23:33:38
|
显示全部楼层
| ||