`

`
`

`
从逻辑上讲两者都是没有错误的,但显然在前面加一个设,使得设后面紧跟的条件显的具有一般性,也就是说,如果一个条件比较常见,如一个连续函数,如去心域有定义,这些都是很常见的情况,可以加一个设.而后面的条件则是针对定理或者是定义而专门设置的一些重要条件,这样表达有利于对定理意义的表达和读者的理解.

从逻辑上讲两者都是没有错误的，但显然在前面加一个设，使得设后面紧跟的条件显的具有一般性，也就是说，如果一个条件比较常见，如一个连续函数，如去心域有定义，这些都是很常见的情况，可以加一个设。而后面的条件则是针对定理或者是定义而专门设置的一些重要条件，这样表达有利于对定理意义的表达和读者的理解。 ，“若。。。则。。。”（p->q）本身是一个命题，”若“后面跟的不是前提，前设应放在”若。。。则。。。“前...

全部展开

从逻辑上讲两者都是没有错误的，但显然在前面加一个设，使得设后面紧跟的条件显的具有一般性，也就是说，如果一个条件比较常见，如一个连续函数，如去心域有定义，这些都是很常见的情况，可以加一个设。而后面的条件则是针对定理或者是定义而专门设置的一些重要条件，这样表达有利于对定理意义的表达和读者的理解。 ，“若。。。则。。。”（p->q）本身是一个命题，”若“后面跟的不是前提，前设应放在”若。。。则。。。“前面，如果记p->q为命题Q，前设记为命题H，实际的表述过程应该为
H|-(推出符号)Q，但是一般在理解上不会有问题的吧，大前提本身的目的就是使得整个命题的逻辑更清晰。

收起