存在量词后必须用合取式?-数学
生活随笔
收集整理的這篇文章主要介紹了
存在量词后必须用合取式?-数学
小編覺得挺不錯的,現在分享給大家,幫大家做個參考.
語法上沒有錯誤, 都是well-formed formula, 但是語義上與一般用自然語言表達出來的語義不符. 例:
“有一個男學生”是用存在量詞+合取式寫出來的, 即“存在一個對象x, x是男的且x是學生”. 這句話為真當且僅當存在一個男學生
如果我們用存在量詞+條件式寫出來, 則是“存在一個對象x, 如果x是男的則x是學生”. 注意這段話為真, 當且僅當x不是男的或者x是學生.
如果用合取式寫出來: “對于任意對象x, x是人且x會死”. 這句話為真, 當且僅當所有對象都是人且所有對象都會死. 
總結
以上是生活随笔為你收集整理的存在量词后必须用合取式?-数学的全部內容,希望文章能夠幫你解決所遇到的問題。
- 上一篇: python 如何获取当前系统的时间
- 下一篇: pycharm汇总