Logic 多米尼克是一名教师，但他也有另一份工作，（一阶逻辑）
我有一个谓词： Jobp，j-个人p有一个工作j。 Customerp1，p2-人员p1是人员p2的客户。 BOSS1，p2-p1人是p2人的上司 这些常数： 常数 讲师、教师、牙医、律师、多米尼克、弗雷达 按照一阶逻辑，多米尼克是一名教师，但他也有另一份工作。Logic 多米尼克是一名教师，但他也有另一份工作，（一阶逻辑）,logic,Logic,我有一个谓词： Jobp，j-个人p有一个工作j。 Customerp1，p2-人员p1是人员p2的客户。 BOSS1，p2-p1人是p2人的上司 这些常数： 常数 讲师、教师、牙医、律师、多米尼克、弗雷达 按照一阶逻辑，多米尼克是一名教师，但他也有另一份工作。 老师，到目前为止，我还不知道如何表达，但是那部分，谢谢。但几乎总是和和的意思一样。但这仅仅意味着第二个连词是否定的或出乎意料的。例如，2是一个偶数，但它是一个素数，在逻辑上与2是一个偶数，它是一个素数没有什么不同 在你的例子中，多米尼克
老师，到目前为止，我还不知道如何表达，但是那部分，谢谢。但几乎总是和和的意思一样。但这仅仅意味着第二个连词是否定的或出乎意料的。例如，2是一个偶数，但它是一个素数，在逻辑上与2是一个偶数，它是一个素数没有什么不同 在你的例子中，多米尼克是一名教师，但他也有另一份工作，这相当于多米尼克是一名教师，他也有另一份工作。下一个细节可能是多米尼克有一份教师的工作，还有另一份不同于教师的工作，多米尼克也有这份工作
你能从那里得到它吗？JobDominic，老师∧ JobDominic，X.是这样吗？我现在也有点麻烦了：有一位律师，他的客户都是牙医。我有这个∃律师∧ CustomerDentist，x。谢谢，不用了，多米尼克，老师∧ JobDominic，X不足够，因为您没有指出X是什么。当我写这篇文章的时候，有一个暗示，你需要一个存在量词——存在一个job j。当我写《与老师不同》时，这是一个提示，你需要确保这个j不是老师，所以你需要在句子中包括jteacher。啊，那么它更像是？：∃JobDominic教师，j∧ j-教师JobDominic，j。在这个话题上，我能问一下这是否正确吗？有一位律师，他的客户都是牙医。一阶逻辑：∀Y⇔ 牙医∃律师=>Customery，是的，更接近了。根据你所学的形式主义，有时你可以限制量词，比如你的∃j老师。在其他形式中，您可能需要将类似于-j=teacher的内容作为单独的子句包含在内。我会去找工作的多米尼克，老师∧ ∃约伯多米尼克，j∧ ——j=老师。