補充:唯一性量化器Uniqueness Quantifier. ∃!x P(x) 表示P(x) 為真且只有一個x 在話語的宇宙中這通常以英語以下列等效方式表示: “There is a unique x such that P(x) ...
確定! 回上一頁