问一个关于离散数学谓词逻辑(一阶逻辑)的问题¥。。!!~

2024-12-21 06:18:08
推荐回答(1个)
回答1:

a:李联
F(x):x怕吃苦
G(x):x取得好成绩

符号化为:G(a) → ┐F(a)