案例分析题设个体域为D={1，2，3}，试消去下列各式的量词 （∀x）P（x）∨（∃y）Q（y）

（x）P（x）→（y）Q（y）

问答题（∀x）P（x）→（∃y）Q（y）

（x）P（x）

问答题（∀x）P（x）

若定义惟一性量词（！x）为“存在惟一的一个x”，则（！x）P（x）表示“存在惟一的一个x使P（x）为真”。试用...

问答题若定义惟一性量词（∃！x）为“存在惟一的一个x”，则（∃！x）P（x）表示“存在惟一的一个x使P（x）为真”。试用量词，谓词及逻辑运算符表示（∃!x）P（x）。