判断一件事情的语句，叫做（    ），命题由（    ）和（    ）两部分组成，题设是已知事项，结论是（    ）。命题常可以写成“如果……那么……”的形式，这时“如果”后接的部分是（    ），“那么”后接的部分是（    ）如果题设成立，那么结论一定成立.像这样的命题叫做（    ），如果题设成立时，不能保证结论一定成立，像这样的命题叫做（    ），定理都是真命题。