“世上没有哪种营生不是艰辛的”这一命题的逻辑形式是（）