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