離散數學 命題邏輯

2021-09-27 02:06:57 字數 374 閱讀 4569

命題:具有真假意義的陳述句

原子命題:不能再分解的命題

命題的真值:t/f 或 1/0

注:「自指謂」的陳述句不算命題,因為其往往真假矛盾

命題識別符號

原子命題一般用大寫字母或帶下標的大寫字母表示,該符號稱為命題符

聯結詞原子命題可以通過聯結詞構成復合命題,聯結詞有5種

否定聯結詞﹁,讀作「非」,也記作 「 』 」

合取聯結詞∧,讀作「與」

析取聯結詞∨,讀作「或」

條件聯結詞→,讀作「如果…則」,聯結的前後兩個命題分別叫做前論和後論,或前提和結論

雙條件聯結詞(雙箭頭),讀作「同或」 「異或」,並用符號⊙表示(同為真,異為假)

命題的分類:原子命題/復合命題

離散數學複習筆記 命題邏輯 命題

定義 具有唯一真值的陳述句叫命題。命題可以是真的,也可以是假的,但不能同時為真又為假 命題分類 1 原子命題 基本命題 本源命題 乙個命題,不能分解成為更簡單的命題。例 我是一位學生。2 分子命題 復合命題 若干個原子命題使用適當的聯結詞所組成的新命題。例 我是一位學生和他是一位工人。命題聯結詞 1...

離散數學筆記(一) 命題邏輯

命題 具有確定真值的陳述句 乙個命題總是具有乙個 值 稱為真值 true或false 1.原子命題 不能再進一步分解的陳述句 2.復合命題 由聯結詞 標點符號和原子命題復合構成的命題 3.命題常量 表示確定的命題的命題識別符號 4.命題變元 只表示任意命題的位置標誌的命題識別符號 不能確定真值 當命...

離散數學之數理邏輯02 命題邏輯

以下都是命題 以下不是命題 注 開關電路 邏輯電路 布林代數。3由簡單命題能構造更加複雜命題 復合命題 小常識 為什麼不用 連線詞 這裡通常聯結兩個句子,聯結的事物更長更複雜 連線通常表示連線更短的詞語 使用 聯結 更符合語義。p p 0110 3中,若p代表 期中考試張三考試及格了 則 1 可表示...