• 2022-06-11
    在一阶逻辑中将下列命题符号化: (1)并不是所有的人都爱吃糖; (2)没有不爱看电影的人