随笔分类 -  数理逻辑

摘要:什么叫‘关于数学的逻辑’?我们把它拆开来看。首先,它是逻辑,而逻辑,我们知道,就是研究推理论证的学问。推理是逻辑研究的内容,论证是逻辑研究的形式。一个完整的逻辑论证,是由一组句子依次构成。前面的句子叫做前提,最后那个句子叫做结论,一个论证如果‘正确’,那么一定符合‘若前提为真则结论也为真’的规律。 阅读全文
posted @ 2019-11-25 14:55 zzfx 阅读(359) 评论(0) 推荐(0) 编辑

点击右上角即可分享
微信分享提示