Artificial intelligence 关于知识表示练习的问题

我正在做一个知识表达练习。我不确定我的解决方案。
练习：

做体育活动使人快乐。不做体力活动使人放松。放松的人是快乐的。

定义一个词汇表，并将上述描述适当地表示为一阶公式。

词汇：
人（x）
PA（x）（x做体力活动）
快乐（x）（x快乐）
放松（x）（x放松）

每个人（x）（人（x）->PA（x））->快乐（x））

对于每个（x）（人（x）->不是（PA（x）））->放松（x））

对于每个人（x）（人（x）->放松（x））->快乐（x））

---

提前感谢您的帮助。

您通常不会有第二个含义，而是使用连词。 第一个我要表达为：

• 每个（x）（人（x）&PA（x）->快乐（x））

所以，对于每个X，如果X是一个人，X进行体育锻炼，那么X是快乐的

• 对于每个（x）（人（x）和！PA（x）->放松（x））

同样的原则

• 对于每个（x）（人（x）和放松（x）->快乐（x））

如果X是一个人，X是放松的，那么X是快乐的