本帖最后由 cjm82 于 2019-7-24 23:55 编辑
数学的体系就是这样的,都是从少数几个定义出发,慢慢分支,变成一个庞大的系统.你从一个分支往回推,只要定义依然成立就一定又能回归到定义上面.
举个不严格的例子,比如平面上两点之间直线最短,我现在要用在球面上,本着拿来主义,我不想去严格证明和阅读大量数学基础书籍,我直接说球面上两点之间,以球的球心为圆心,球半径为半径,作过这两点的弧最短.但是弧肯定比直线长,那么问题来了,同样是最短,为什么一个是直线,一个是弧线? 答案是直线是本来的定义,弧线是我补充的定义.但这个直线上的点和弧线上的点,肯定能用一个函数一一对应起来.也就是说,补充的定义还是能回归到原先的定义上去.
当然这只是为说明问题打的比喻,完全没有数学严格性可言,数学科班出身的朋友就不要嘲讽了.
再来说我之前写的那两个式子,
A&B = C,
(~A)|(~B) = (~C),
对所有符号包括运算符都作了取反(可以理解为与逻辑取反就是或逻辑,与逻辑用通俗的话说就是 : 只要一个不行就都不行,或逻辑用通俗的话说就是: 只要有一个行就都行),所以说你修改了定义,但还想用以前的定义的话,就需要找到一个函数跟以前的定义联系起来,这个函数的自变量就是原定义,函数值就是你的新定义,你举的例子里,这个函数就是取反(让0映射成了1, 让1映射成了0,让与映射成了或).
|