離散數學的乙個簡單實驗；
**實現析取，合取，蘊含，等值等；
**如下：
#include
#include
#include
using namespace std;
//實現否定
int neg(int p)
else
return flag;
}//實現合取
int conj(int p,int q)
else
return flag;
}//實現析取
int dis(int p,int q)
else
return flag;
}//實現蘊含
int con(int p,int q)
else
return flag;
}//實現等值
int equ(int p,int q)
else
return flag;
}int main()
else
cout<<"---------------" cout<<"判斷p合取q真值情況:" else cout<<"---------------" cout<<"判斷p析取q真值情況:" else cout<<"---------------" cout<<"判斷p蘊含q真值情況:" else cout<<"---------------" cout<<"判斷p等值q真值情況:" else return 0; } 真值 命題可以取乙個值，稱為真值。真值只有 真 和 假 兩種，分別用 1 t 和 0 f 表示。命題 具有確切真值的陳述句。一切沒有判斷內容的句子，都不能作為命題。原子命題 不能再分解為更簡單的命題。復合命題 可以分解為成簡單的命題，與原子命題相對。聯結詞 否定聯結詞 非 合取聯結詞 並且 析取聯結... usr bin env python coding utf 8 命題邏輯 表示對應特定語句連線詞的語言結構部分 布林運算子 連線詞的對應形式 命題符號 命題邏輯的基本表示式import nltk nltk.boolean ops 公式 我們可以建立 命題邏輯的規範公式的無限集合。in 4 nltk.... 乙個命題邏輯公式就是命題邏輯語言字母表上的符號串 這類似於乙個英文句子是英文本母表上的字串 命題邏輯的語法的本質是規定了命題邏輯語言字母表上的什麼樣的符號串才是合法的命題邏輯公式。與自然語言類似，乙個 簡單 的語句有對與錯的區分，相應的乙個命題公式也需要分辨真或假，而乙個公式本身是沒有真假值的，當給...命題邏輯 1
10 2 命題邏輯
命題邏輯 語義