參考書目《離散數學》屈婉玲
命題：非真即假的陳述句。
悖論不是命題，如：我正在說假話。
例題1.4（2）：將下列命題符號化：張曉靜只能挑選202或203房間。
解：p：張曉靜挑選202房間。
q：張曉靜挑選203房間。
由題意知：這個或為排斥或，這個女人不可能同時挑選202或203房間。因此符號化為：
例1.5（10）將命題符號化，並指出真值： 只有a能被4整除，a才能被2整除。
解：命題真值與a有關，如當a=8時為真，a=6時為假。
ps：命題邏輯中的聯結詞不能簡單地與自然語言中的聯結詞等同起來。
設p，q均為命題，在p與q不能同時為真條件下，p與q的排斥或也可以寫成p與q的相容或。
離散數學 命題邏輯
命題 具有真假意義的陳述句 原子命題 不能再分解的命題 命題的真值 t f 或 1 0 注 自指謂 的陳述句不算命題，因為其往往真假矛盾 命題識別符號 原子命題一般用大寫字母或帶下標的大寫字母表示，該符號稱為命題符 聯結詞原子命題可以通過聯結詞構成復合命題，聯結詞有5種 否定聯結詞 讀作 非 也記作...
離散數學複習筆記 命題邏輯 命題
定義 具有唯一真值的陳述句叫命題。命題可以是真的，也可以是假的，但不能同時為真又為假 命題分類 1 原子命題 基本命題 本源命題 乙個命題，不能分解成為更簡單的命題。例 我是一位學生。2 分子命題 復合命題 若干個原子命題使用適當的聯結詞所組成的新命題。例 我是一位學生和他是一位工人。命題聯結詞 1...
離散數學筆記（一） 命題邏輯
命題 具有確定真值的陳述句 乙個命題總是具有乙個 值 稱為真值 true或false 1.原子命題 不能再進一步分解的陳述句 2.復合命題 由聯結詞 標點符號和原子命題復合構成的命題 3.命題常量 表示確定的命題的命題識別符號 4.命題變元 只表示任意命題的位置標誌的命題識別符號 不能確定真值 當命...