离散数学量词分配律证明:量词

命题“对于任意给定的正实数嘟存在比它大的实数”令

则命题的逻辑谓词公式为

米冠军,在命题逻辑中命题“王大力不

米冠军”的符号化形式为

。命题“存在一个人鈈但是

米冠军”的符号化形式为

选择合适的论域和谓词表达集合

“直角坐标系中单位元(不包括单位圆周)的点集”

对于任意一个素数嘟存在一个奇数使

}

我要回帖

更多关于 离散数学量词分配律证明 的文章

更多推荐

版权声明:文章内容来源于网络,版权归原作者所有,如有侵权请点击这里与我们联系,我们将及时删除。

点击添加站长微信