PS：數學的命題、集合本質一致。
命題：非真即假的陳述句。
基礎：經典邏輯和一階邏輯
謂詞（謂詞名，個體（常量，變元，函式））
連詞（非，析取，合取，蘊含，當且僅當）
量詞（全稱，存在）
謂詞公式（謂詞名，個體）
（永真，永假，等價，可滿足，不可滿足）
在個體域D上（永真，永假，等價）
運演算法則（交換，結合，分配，De.morgn，
對合，吸收，補余，化歸，逆否，轉換）
不通透的1.量詞調換順序后不同的意思
2.蘊含前項后項可不相關
3.連接詞化歸律
做了老師留的作業，謂詞公式化為子句集。
消除蘊含符號
否定符號靠謂詞
變數標準化
消去存在量詞
化為skolem標準型
消去全稱量詞
合取寫成，
量詞標準化
uj5u.com熱心網友回復：
傻傻的我啥都不懂哈
uj5u.com熱心網友回復：
當且僅當，是等價，雙條件uj5u.com熱心網友回復：
知識的表示方法一階謂詞邏輯表示法
轉載請註明出處，本文鏈接：https://www.uj5u.com/shujuku/110379.html
標籤：非技術版
下一篇：求大神幫助 我都快懷疑人生了