• 2022-06-16
    在一阶逻辑中将下列命题符号化,要求用两种不同的等值形式.没有小于负数的正数.