2021年12月7日
[数理逻辑] 一阶谓词演算自然推演系统N_{l}常见公式总结
摘要： 一阶谓词演算自然推演系统$N_{\mathcal{L}}$ 中常见公式总结 \[ 以下是对“自由出现”和“自由"的个人理解：\\ 1. x在\alpha在\beta中若有自由出现，可以认为\alpha和\beta公式的真假与x有关，即原公式成立或否对x有依赖\\ 2.t对x在\alpha在\beta 阅读全文
posted @ 2021-12-07 16:41 Kamkwamba 阅读(994) 评论(0) 推荐(0)