全稱量詞與存在量詞-在線瀏覽
2024-09-02 04:53本頁(yè)面
【正文】 除。 存在量詞、特稱命題定義： 短語(yǔ) “ 存在一個(gè) ”“ 至少有一個(gè) ” 在邏輯中通常叫做存在量詞， 并用符號(hào) “ ” 表示。 ?常見的存在量詞還有 “有些”“有一個(gè)” “對(duì)某個(gè)”“有的”等 。 通常，將含有變量 x的語(yǔ)句用 p(x), q(x), r(x),… 表示，變量 x 的取值范圍用 M表示，那么， 00 ( ) ,x M p x?? ，特稱命題“存在 M中的一個(gè) x0，使 p(x0)成立 ”可用符號(hào)簡(jiǎn)記為： 讀作“存在一個(gè) x0屬于 M，使 p(x0)成立”。 例 2 判斷下列特稱命題的真假： （ 1）有一個(gè)實(shí)數(shù) x0，使 x02+2x0+3=0； （ 2）存在兩個(gè)相交平面垂直于同一條直線； （ 3）有些整數(shù)只有兩個(gè)正因數(shù)。 —— 只需在集合 M中找到一個(gè)元素 x0，使得 p(x0) 成立即可
環(huán)評(píng)公示相關(guān)推薦
鄂ICP備17016276號(hào)-1