离散数学一阶逻辑的一些简单介绍,对于初学者很有帮助,大家都可以过来看看