連言前件・連言後件の条件文の対偶

「合理的思考力があって常識的な正義感がある人なら、急進的な計画を主張せず、社会の悪弊を取り除こうとする」は、その対偶「急進的な計画を主張するか、悪弊を取り除こうとしない人は、合理的思考力か常識的な正義感の少なくとも一方が欠けている」と同値である。

「(R∧S)→(¬E∧T)」の対偶は「(E∨¬T)→(¬R∨¬S)」である。