逻辑---研究思维规律、思维之形式结构的科学

什么叫‘关于数学的逻辑’？我们把它拆开来看。首先，它是逻辑，而逻辑，我们知道，就是研究推理论证的学问。推理是逻辑研究的内容，论证是逻辑研究的形式。一个完整的逻辑论证，是由一组句子依次构成。前面的句子叫做前提，最后那个句子叫做结论，一个论证如果‘正确’，那么一定符合‘若前提为真则结论也为真’的规律。

 

https://site.douban.com/145723/widget/notes/18112599/note/649427261/