離散數學考前複習：（二）數理邏輯

離散數學考前複習：（二）數理邏輯 2.1 命題及聯結詞 命題：命題是指一個判斷（陳述）的語義（實際表達的概念），這個概念是可以被定義並觀察的現象。命題不是指判斷（陳述）本身，而是指所表達的語義。當相異判斷（陳述）具有相同語義的時候，他們表達相同的命題。 命題聯結詞： 非：否定聯結詞（-p爲真僅當p爲假） 並：合取聯結詞（p∧q爲真當且僅當q,p同爲真） 或：析取聯結詞（p∨q爲真當且僅當p或q有一

>>阅读原文<<