二、命题的结构

    在逻辑学中，把命题中没有固定含义的代词或未完全确定的对象叫做变项，而将具有固定含义的词或概念叫做常项。比如命题“如果p，那么q”，其中“p”、“q”都是变项，“如果”、“那么”则是常项。

    命题的形式多样，将简单命题用一些逻辑联结词联结起来就构成了复合命题。基本的逻辑联结词通常包括以下几种：

    （一）非（表否定）
    设p表示一个命题，若否定命题p，就得到了命题“非p”,记作，与p互为反命题。

    （二）且（表合取）
    设p、q表示两个命题，用逻辑联结词“且”把它们联结起来得到新的命题“p且q”，记作，这个式子叫做命题p和q的合取式。

    （三）或（表析取）
    设p、q表示两个命题，用逻辑联结词“或”把它们联结起来得到新的命题“p或q”，记作，这个式子叫做命题p和q的析取式。

    （四）如果，那么 （蕴涵）
    p、q表示两个命题，用“如果 ，那么 ”联结起来，得到新命题“如果p，那么q”，记作，这个式子叫做命题p和q的蕴含式。

    （五）当且仅当
    设p、q表示两个命题，用“当且仅当”联结起来得到新命题“p当且仅当q”，记作“”，这个式子叫做充分必要蕴涵式。

    数学命题通常写成“若p，则q”的形式，其中“若p”部分叫做命题的条件或题设，“则q”部分叫做命题的结论。任何一个命题都可以写成“若p，则q”，比如命题“平行四边形的两条对角线互相平分”改写后的形式为：若一个四边形是平行四边形，那么它的两条对角线互相平分，这样改写的目的是为了更方便找出命题的条件与结论。