一般地,在数学中我们把用语言、符号或式子表达的,可以判断 的陈述句叫作命题.其中判断为真的语句叫作 ,判断为假的语句叫作 .命题的常见形式是 ,其中p叫作命题的 ,q叫作命题的 .
真假
真命题
假命题
“若p,则q”
结论
条件