命题:能够进行肯定或者否定判断的语句,叫做命题(proposition)
真命题:在命题中,有正确的命题,我们把正确的命题叫做真命题(true proposition)
假命题:在命题中,有错误的命题,我们把错误的命题叫做假命题(false proposition)
反例:符合命题条件,但不符合命题结论的例子,这样的例子叫反例(counter example)
基本事实:有些命题经过实践检验,被公认为真命题,我们把这样的命题叫做基本事实(primary fact)
定理:有些真命题,他们的正确性已经经过演绎推理得到实证,并被作为判定其它命题真假的依据,这些命题叫做定理(theorem)