真、假命题及定理:题设成立结论( )的命题叫做真命题。题设成立,结论 (