1、一个判断的语句叫做命题，命题由条件和结论两部分组成，有真命题和假命题两种类型。
2、经过证明得到的真命题叫做定理。
3、一个命题的正确性需要经过推理才能做出判断，这个过程叫做证明。
改写。如果相乘的两个数都是负数，那么它们的积是正数。