有一些含有未知數的命題，我們不知道真或假，因為無法判斷。這叫做命題函式**p(x1,x2,x3….xn)在(x1,x2,x3….xn)的值，**n元謂詞
我們用它做什麼用呢 ，否則我們幹嘛要創造它。
函式在取得變數值後，可以變作命題，也就可以判斷真值。
函式這個時候就叫做謂詞，它可以不是數學的，可以是文字的描述關係的語句，中間包含變數。
全稱量詞，量化-論域中的所有未知數都讓謂詞為真
存在量詞，量化-論域中存在乙個未知數讓謂詞為真
他們的否定關係，是我們需要學習的。在學習了之後，可以非常順利的得到命題的否定
有的政治家誠實—否定：全部政治家都不誠實
所有中國人都吃漢堡堡–否定：有乙個中國人不吃漢堡堡
學了所有的關於邏輯的東西，有利於我們邏輯程式的設計，可以是電路的，也可以是軟體的。
學習最好的方法就是抽象，抽象可以讓每乙個具體的事物在你眼中都是一樣的。就像每一種程式語言，都有同樣功能的函式，可以看作是謂詞。
突然有乙個例子，在案件推理過程中，經常使用一些推理規則，肯定前件，否定後件，透過邏輯我們可以知道一些隱藏的答案。
用C C 實現離散數學簡單邏輯運算
這兩天寫c語言 遇到這個離散題，感覺還是蠻經典的，自己總結一下。編寫程式，解決下述問題 已知有a b c d e f共6人參加程式競賽。其中 a和b中至少一人獲獎 a c d中至少二人獲獎 a e中至多一人獲獎 b和f或者同時獲獎，或者都未獲獎 c和e的獲獎情況也相同 如果e未獲獎，則f也不可能獲獎...
離散數學 數理邏輯
命題邏輯的基本概念 1.什麼是命題？存在唯一真值的陳述句。2.邏輯運算 設p為一命題，則復合命題 p為p的否定。規定 p為真當且僅當p為假。設p,q為兩個命題，則復合命題p，q的合取式用p q表示。規定p q為真當且僅當p，q同時為真。設p,q為兩個命題，則復合命題p，q的析取式用p q表示。規定p...
離散數學 數理邏輯
斷言 陳述語句。命題 非真即假的斷言。悖論 不能判斷真假的斷言。不是命題。原子命題 本原命題 乙個命題，不能分解成更簡單的命題。命題聯接詞 否定詞 合取詞 析取詞 蘊含詞 等值詞 特別 蘊含詞 p q的真值表特例 0 11 由蘊含詞引出 逆命題，反命題，逆反命題的概念。命題變元和命題公式 命題變元 ...