ならばを論理式にする