这是我这两天自学一阶逻辑语言的一份笔记，内容不多，非常简单，也非常符合直觉，主要是一些定义之类的，展示了数学是如何被建立起来的. 它解决了我关于命题否定的一些疑惑，对我学习数学已经完全够用了，所以更高级的内容比如哥德尔的定理等因为暂时不会影响到我学习数学，就没有再细看了，如果以后有时间看一看的话会继续在这里写. 这份笔记的亮点之一在于直接总结一阶逻辑，比较明快；我参考的书是先讲了命题逻辑，又往里加一阶逻辑，两个逻辑体系的建立有些不同所以有种做了无用功的感觉. 亮点之二在于最后一阶逻辑语言转化到数学语言的部分是我自己总结的.