谓词命题公式(∀x)(P(x)→Q(x)∨R(x,y))中的约束变元为x.( ) |
101| 6
|
天涯海角也要找到Ni: 谓词命题公式(∀x)(P(x)→Q(x)∨R(x,y))中的约束变元为x.( )上一篇: 谓词命题公式(∀x)((A(x)∧B(x))∨C(y))中的自由变元为x.( ) 下一篇: 下列公式 ( )为重言式. | ||||
相关帖子
|
||||
发表于 2022-7-27 17:22:15
|
显示全部楼层
| ||
发表于 2022-7-27 22:33:49
|
显示全部楼层
| ||
发表于 2022-7-28 09:53:53
|
显示全部楼层
| ||
发表于 2022-7-28 17:22:37
|
显示全部楼层
| ||
发表于 2022-7-30 22:57:04
|
显示全部楼层
| ||
发表于 2022-7-31 14:07:16
|
显示全部楼层
| ||