選言・連言・条件法の論理

命題論理において「または」は選言、「および」は連言、「ならば」は条件法であり、選言の否定は否定の連言（ド・モルガンの法則）、条件法の対偶は、AならばBに対しBでないならばAでない、であり、これらが基本的な推論規則である。

「AまたはB」（選言。包含的）の否定は「Aでなくかつ Bでない」（ド・モルガンの法則）である。「AならばB」（条件法）の対偶は「BでないならばAでない」で、元の命題と同値である。選言三段論法（AまたはB、Aでない、ゆえにB）と前件肯定（AならばB、A、ゆえにB）は妥当だが、後件肯定（AならばB、B、ゆえにA）は妥当でない。