问题详情

使用下述谓词：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)