• 2021-04-14
    GiveyourSystem2someexercisewiththefollowingproblem:

    这里是一个有着以下问题的系统2

    JackislookingatAnne,butAnneislookingatGeorge.Jackismarried,butGeorgeisnot.Isamarriedpersonlookingatanunmarriedperson?

    Jack在看Anne,但是Anne在看George.Jack已婚,而George未婚.那么是不是一个已婚的人在看一个未婚的人?