> 数学 >
问一个关于离散数学谓词逻辑(一阶逻辑)的问题¥.
将下列命题用 0元 谓词符号化
“除非李联不怕吃苦,否则她不会取得这样好的成绩”
人气:346 ℃ 时间:2019-08-21 08:33:26
解答
a:李联
F(x):x怕吃苦
G(x):x取得好成绩
符号化为:G(a) → ┐F(a)
推荐
猜你喜欢
© 2025 79432.Com All Rights Reserved.
电脑版|手机版