数学
问一个关于离散数学谓词逻辑(一阶逻辑)的问题¥.将下列命题用 0元 谓词符号化“除非李联不怕吃苦,否则她不会取得这样好的成绩”

2019-05-29

问一个关于离散数学谓词逻辑(一阶逻辑)的问题¥.
将下列命题用 0元 谓词符号化
“除非李联不怕吃苦,否则她不会取得这样好的成绩”
优质解答
a:李联
F(x):x怕吃苦
G(x):x取得好成绩
符号化为:G(a) → ┐F(a)
a:李联
F(x):x怕吃苦
G(x):x取得好成绩
符号化为:G(a) → ┐F(a)
相关问答