谓词公式分享之（纯手写）
离散数学吧
全部回复
仅看楼主
level 4
jww81 楼主
2015年03月31日 02点03分 1
level 4
jww81 楼主
发现上面最后一行，没切好。重发一下。
2015年03月31日 02点03分 2
level 4
jww81 楼主
其实关于“→”运算符的，记住下面两个就行，其他都可根据这两个推导出来：
2015年03月31日 02点03分 3
jww81
上面的公式可记为：箭头指向的方向的量词与前束量词相同，箭尾相反。[哈哈]
2015年03月31日 03点03分
1