”不存在最小的实数"的符号化形式
问题描述:
”不存在最小的实数"的符号化形式
答
记
F(x):x 是最小的实数,
则 “不存在最小的实数” 符号化为
¬ExF(x).