结构推理 用谓词逻辑公式表示以下直言命题： 　1．所有法人都不是某个人。 　2．并非所有人都是自私的。 　3．凡不是达到第一宇宙速度的物体都不能飞离地球。