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