如果一个外延较大的概念包含着另一个外延较小的概念,那么这两个概念间的关系叫做主从关系(或叫做包含关系)。外延较大的概念叫做主概念,也叫做种概念;外延较小的概念叫做从概念,也叫做属概念。具有主从关系的概念叫做主从...[继续阅读]

    对概念下定义,总是要用一些已知的概念来定义新概念,这样就构成一个概念的序列。在概念的序列中有一些概念是不能引用别的概念来定义的,这样的概念叫做这个科学系统中的基本概念(或称为原始概念、不定义概念)。如数学中的集...[继续阅读]

    对于一个名词或术语的意义的规定就是这个名词或术语的定义。例如,“如果整数a能被自然数b整除,那么a叫做b的倍数,b叫做a的约数”,这就是倍数、约数的定义。又如,“大于直角而小于平角的角叫做钝角”,这就是钝角的定义。把概...[继续阅读]

    能用推理的方法证明是正确的命题叫做定理。例如,“如果两个数都能被同一个自然数整除,那么它们的和也能被这个自然数整除”。又如,“对顶角相等”。这些都是定理。每个定理都包含“条件”和“结论”两个部分,条件是已知的...[继续阅读]

    一个定理的逆命题如果能被证明是正确的,则它叫做这个定理的逆定理。例如,线段的垂直平分线的两个定理。即“线段的垂直平分线上的任意一点,到这条线段的两端距离相等”,以及“到一条线段的两端距离相等的点,在这条线段的垂...[继续阅读]

    人类在实践中反复验证过的,并且不需要再加以证明就被公认的真理叫做公理。例如,“经过两点可以作一条直线,并且只可以作一条直线”;“经过直线外的一点,只可以作一条直线和这条直线平行。”...[继续阅读]

    在数学中,具有某种规律性的结论叫做定律。例如,加法交换律a+b=b+a,乘法分配律(a+b)×c=a×c+b×c,就是定律。...[继续阅读]

    由某定理直接推导出来的定理叫推论。例如,关于最小公倍数的性质定理及其推论是:定理——两个自然数的最小公倍数与最大公约数的乘积等于这两个自然数的乘积。推论——如果两个数a、b互质,那么a、b的最小公倍数等于a与b的积...[继续阅读]

    根据已知数目和运算符号通过数学方法求出未知数,叫做计算。...[继续阅读]

    一般说来,运算都指代数运算,它是集合中的一种对应。对于集合A中的一对按次序取出的元素a、b,有集合A中唯一确定的第三个元素c和它们对应,叫做集合A中定义了一种运算。由这个运算可以得出两个运算,就是把a、b中的一个当作所求...[继续阅读]