2.3 謂詞邏輯表示

2.3  謂詞邏輯 1函數 命題邏輯：可以把客觀世界的一些事實表示爲邏輯命題，但不適合複雜問題spa 邏輯命題blog 謂詞邏輯：表達沒法用命題邏輯表達的事變量 一階謂詞演算：是一種形式語言。im 邏輯聯詞：1.否認，讀做「非P」。2.合取，讀做「P與Q」。3.析取，讀做「P或Q」。4.條件，讀做「若P則Q」。5.雙條件，讀做「P當且僅當Q」。符號在下圖img 表示命題的符號：經常使用的P，Q,，

>>阅读原文<<