1.數理邏輯 1.1命題邏輯 1.1.1命題定義和邏輯聯結詞   命題指的是具有真假意義（要么為真，要么為假）的一句話，它常以陳述句形式出現，而疑問句，感嘆句，祈使句等都不是命題。 你多大了？(疑問句，不是命題) 出來！(祈使句，不是命題) 今天真好！(感嘆句，不是命題 ...

數理邏輯是研究推理的數學學科，它首先完成是對現象的一種符號化處理，基於符號化處理，它在將着重於推理過程以及推理的結果。 命題： 稱所表達的判斷式真或假但不能可真可假的陳述句為命題。 命題的符號化： 一般使用小寫字母p、q、r、s來表示簡單的陳述句命題 ...

一、命題 命題：陳述句，有唯一真值/非真既假（不一定知道） 簡單命題/命題常元：真值確定。 命題變元p：常用來表示命題。只有明確表示某個命題時才有具體的含意和確定的真值。 命題聯結詞/命題運算符：否定聯結詞┐、合取聯結詞∧、析取聯結詞∨、蘊含聯結詞→、與非聯結詞、或非聯結詞 p→q ...

一.實驗內容 （1）求任意一個命題公式的真值表。 （2）利用真值表求任意一個命題公式的主范式。 （3）利用真值表進行邏輯推理。 注：（2）和（3）可在（1）的基礎上完成。 二.實驗目的 真值表是命題邏輯中的一個十分重要的概念，利用它幾乎可以解決命題邏輯中的所有問題。例如，利用命題公式 ...

命題邏輯 命題與公式 1.命題 一句有真假意義的話（陳述句），記作P。不能是悖論、祈使句、疑問句、感嘆句 命題的否定：記以 \(\lnot\)P 2.析取 P\(\lor\)Q 讀作“P或Q” 真值規定：P\(\lor\)Q是真的當且僅當P，Q中至少有一個是真的。注意可兼或。 3.合取 P ...

1.語句 1.1命題 一個或真或假，而不能兩者都是的陳述句。 說明： 1）命題是陳述句，而不能是疑問句、命令句、感嘆句等；　　例如（1）把門關上！ 　　（2）你到哪里去？2）如果命題為真，我們就說它的真值為真（T或1）； 如果命題為假，我們就說它的真值 ...

命題連接詞 最常見的連接詞： 　　“如果” “並且” “不” “如果……則……” “當且僅當” 否定連接詞：非“﹁” 合取連接詞：P並且Q >>> “P^Q” P^Q為真當且僅當P\Q同時為真 　　　　　　注意：P但Q 也是合取，例如：今天天氣 ...

什么叫“離散”？離散，就是和連續相反的。隨便拿一堆東西，如大到宇宙，小到粒子團，若其整體中的元素是獨立的，分開的，則叫“離散”。計算機是不能處理連續信息的，這是由計算機的本質：0和1，決定的。正因為這樣，如果要借助計算機來處理連續的東西，其中有一個必須的步驟：離散化。 “離散數學”是什么？它是 ...