• 2022-07-25
    用谓词公式将下列语句形式化 不是所有的男人都至少比一个女人高,但至少有一个男人比所有的女人高.