谓词公式∀xP（x）∧彐y_￢P（y）是（）

设论域为整数集，下列公式中为真的是（）

A.∀x彐y（x+y=0）
B.彐x∀y（x+y=0）
C.∀x∀y（x+y=0）
D._￢彐x彐y（x+y=0）

点击查看答案&解析

以数集为个体域，用谓词公式将下列语句形式化：f（x）为一实函数当且仅当对每一实数x都有且只有一个实数y满足y=f（x）（不得使用量词彐!f（x）为实函数 可译为RF（f）） 点击查看答案