>>392
もとの論理式が(恒真かどうかは別として)

任意の実数x, y, zについて，(xyz<27 ならば x, y, zのうち少なくとも1つは3より小さい)

なのか

(任意の実数x, y, zについて，xyz<27) ならば x, y, zのうち少なくとも1つは3より小さい

なのかによって、対偶をとる操作は異なる結果になるんじゃないかな

前者なら
任意の実数x, y, zについて，(x, y, zがすべて3以上 ならば xyz≧27である)

後者なら
x, y, zがすべて3以上 ならば (ある実数x, y, zについて，xyz≧27である)