一般地,能明确指出概念含义或特征的句子,称为定义
例如:(1) 有一个角是直角的三角形,叫做直角三角形.
(2) 有六条边的多边形,叫做六边形.
(3) 在同一平面内,两条不相交的直线叫做平行线.
有些命题可以从公理或其他真命题出发,用逻辑推理的方法判断它们是正确的,并且可以进一步作为判断其他命题真假的依据,这样的真命题叫做定理(theorem).
例如,运用公理“两角及其夹边分别对应相等的两个三角形全等”,可以得到定理:“两角及其一角的对边分别对应相等的两个三角形全等.”
参考
一般地,能明确指出概念含义或特征的句子,称为定义
例如:(1) 有一个角是直角的三角形,叫做直角三角形.
(2) 有六条边的多边形,叫做六边形.
(3) 在同一平面内,两条不相交的直线叫做平行线.
有些命题可以从公理或其他真命题出发,用逻辑推理的方法判断它们是正确的,并且可以进一步作为判断其他命题真假的依据,这样的真命题叫做定理(theorem).
例如,运用公理“两角及其夹边分别对应相等的两个三角形全等”,可以得到定理:“两角及其一角的对边分别对应相等的两个三角形全等.”
参考