一二三九段が論理的かどうか