设置 | 登录 | 注册
Purasbar

本次共搜索到帖子224篇，用时369ms。

（多个侃吧可使用空格隔开）
（多个用户可使用空格隔开，IP中可以使用“*”符号表示IP段）

回复：谓语逻辑

注意任意x到具体c
具体c到任意x的过程不可逆
响 4-2 离散数学吧

回复：谓语逻辑

注意这里析取是推理不是等于
响 4-2 离散数学吧

回复：谓语逻辑 [图片]

响 4-2 离散数学吧

回复：谓语逻辑 [图片]

响 4-2 离散数学吧

回复：谓语逻辑 [图片]

响 4-2 离散数学吧

回复：谓语逻辑

按斯科伦范式，自由相当于任意，有函数关系作用
响 4-2 离散数学吧

回复：谓语逻辑 [图片]

响 4-2 离散数学吧

回复：谓语逻辑 [图片]

注意是推理，不是等价
响 4-2 离散数学吧

回复：谓语逻辑 [图片]

响 4-2 离散数学吧

回复：谓语逻辑

可以参考楼下
响 4-2 离散数学吧