「対偶

「対偶…〔論理学や数学で〕仮説と終結を持つ型の命題に対し、終結の否定を仮説とし仮説の否定を終結として得られる命題の称。
〔「PならばQ」の対偶は、「QでないならばPではない」。前者が真ならば後者も真。〕」

痴女ならば床上手。
床上手でないならば痴女ではない。

#辞書の旅