精品偷拍一区二区三区,亚洲精品永久 码,亚洲综合日韩精品欧美国产,亚洲国产日韩a在线亚洲

  • <center id="usuqs"></center>
  • 
    
  • 離散數(shù)學(xué)一階邏輯符號(hào)化問題 鳥都會(huì)飛翔 x, M(x):x是鳥 F(x):x會(huì)飛 應(yīng)該表示成

    離散數(shù)學(xué)一階邏輯符號(hào)化問題 鳥都會(huì)飛翔 x, M(x):x是鳥 F(x):x會(huì)飛 應(yīng)該表示成
    離散數(shù)學(xué)一階邏輯符號(hào)化問題
    鳥都會(huì)飛翔
    x,
    M(x):x是鳥
    F(x):x會(huì)飛
    應(yīng)該表示成
    “任意x(M(x)→F(x))”
    還是
    “任意x(M(x)∧F(x))”
    ?
    為什么?他們有什么區(qū)別?
    數(shù)學(xué)人氣:316 ℃時(shí)間:2020-06-23 17:18:42
    優(yōu)質(zhì)解答
    選擇第一個(gè)符號(hào)化方式,表示為“任意的x,如果x是鳥,x一定可以飛翔”.
    第二個(gè)說的是,所有的x一定是鳥且能飛翔,與命題表達(dá)有區(qū)別.這要看個(gè)體域是什么,如果是鳥類集合,兩個(gè)表示都行,如果個(gè)體域是全總個(gè)體域,代表一切事物,第二個(gè)表達(dá)就是錯(cuò)的了.
    符號(hào)化時(shí),全稱量詞與蘊(yùn)涵聯(lián)結(jié)詞→結(jié)合,存在量詞與合取∧結(jié)合.
    我來回答
    類似推薦
    請(qǐng)使用1024x768 IE6.0或更高版本瀏覽器瀏覽本站點(diǎn),以保證最佳閱讀效果。本頁提供作業(yè)小助手,一起搜作業(yè)以及作業(yè)好幫手最新版!
    版權(quán)所有 CopyRight © 2012-2024 作業(yè)小助手 All Rights Reserved. 手機(jī)版