”不存在最小的实数"的符号化形式

问题描述:

”不存在最小的实数"的符号化形式

  记
   F(x):x 是最小的实数,
则 “不存在最小的实数” 符号化为
   ¬ExF(x).