作业帮 > 综合 > 作业

定义属于真命题范畴吗?

来源:学生作业帮 编辑:作业帮 分类:综合作业 时间:2024/10/06 21:15:44
定义属于真命题范畴吗?
真命题,包括公理和定理,那定义算真命题范畴吗?
百度百科里提到
【定理是根据公理或已知的定理推导出来的真命题.这些真命题都是最基本的和常用的,所以被人们选作定理.还有许多经过证明的真命题没有被选作定理.所以,定理都是真命题,而真命题不都是定理.例如:“若∠1=∠2,∠2=∠3,那么∠1=∠3”,这就是一个真命题,但不能说是定理.】
这个例子既然就真命题,那属于真命题中的哪一部分呢?
你说得对.定理都是真命题,而课本上真命题没有全部被选为定理.因此,就有很多真命题不在定理的范围内,但它们没有一个统一的称号,如果要有的话,可称为“普通的真命题”.定义一定是真命题,是一类特殊的真命题.