使用下述谓词：P（x): x是熊猫 Q（x): x是飞鸟 R（x): x是绿色的 及量词表示自然语句“没有熊猫是绿色
已帮助 人
使用下述谓词：P（x): x是熊猫、Q（x): x是飞鸟、R（x): x是绿色的，及量词表示自然语句“没有熊猫是绿色的话，就至少有一只飞鸟存在”为（）。
A．~($x)(P(x)∧R(x)) Þ ($x) Q(x)
B．~($x)(P(x) Þ R(x)) Þ ($x) Q(x)
C．~($x)(P(x)∧R(x)) ∧ ($x) Q(x)
D．~($x)(P(x) Þ R(x)) ∧ ($x) Q(x)
回答
共1条回复-
~ ( $ x )( P ( x ) Þ R ( x )) Þ ( $ x ) Q ( x )