「２つの有理数があるとき、その和は有理数である。」
この対偶は
「無理数を少なくとも１つの無理数を含むの２つの数の和に分けることができる。」ですか？