“只要……就……”是必要条件。

充分条件的假言命题是指后件是前件的充分条件的假言命题。

判断题充分条件的假言命题是指后件是前件的充分条件的假言命题。

简单的性质命题实质上即为对当关系中的相应矛盾命题。

判断题简单的性质命题实质上即为对当关系中的相应矛盾命题。

相容选言命题是断定各个选言支中至少有一个选言支为真的选言命题。

判断题相容选言命题是断定各个选言支中至少有一个选言支为真的选言命题。