(“x)P(x)∨(“x)Q(x)Û(“x)(P(x)∨Q(x))、使用下述谓词：P(x)x是熊猫、Q(x)x是飞鸟、R(x)x是绿色的，及量词表示自然语句“没有熊猫是绿色的话，就至少有一只飞鸟存在”为（）