R(x)x是绿色的，及量词表示自然语句“没有熊猫是绿色的话，就至少有一只飞鸟存在”为（）