一阶谓词逻辑表达式：有的哲学家喜欢听各种西洋古典音乐。怎么写的，急！

发布网友发布时间：2022-05-01 19:37

共2个回答

热心网友时间：2023-10-24 12:21

R（x,y）代表x喜欢y
F(x)→{┐(∀x)F(x)R（x，y）}
学的早，记得是这样。
我给你念一遍，在全集中，有任意一x是F（哲学家），并非全部x（即哲学家）是喜欢y（各种XXX音乐）（即只有部分或有的哲学家喜欢....）
注意：(∀x)F(x)前面有一个否定

热心网友时间：2023-10-24 12:22

E=M*C^2

热心网友时间：2023-10-24 12:21

R（x,y）代表x喜欢y
F(x)→{┐(∀x)F(x)R（x，y）}
学的早，记得是这样。
我给你念一遍，在全集中，有任意一x是F（哲学家），并非全部x（即哲学家）是喜欢y（各种XXX音乐）（即只有部分或有的哲学家喜欢....）
注意：(∀x)F(x)前面有一个否定

热心网友时间：2023-10-24 12:22

E=M*C^2

声明：本网页内容为用户发布，旨在传播知识，不代表本网认同其观点，若有侵权等问题请及时与本网联系，我们将在第一时间删除处理。E-MAIL:11247931@qq.com

懂视 51dongshi.com 版权所有
Copyright © 2019-2024