2015年7月23日
2015年7月5日
矛盾蘊涵一切

11

Photo Credit: macwagen via Compfight cc 學邏輯想必都聽過一句話:矛盾蘊涵一切。這句話的意思是,矛盾的述句蘊涵任何述句。以 p, q 為任意兩個述句,其形式是 p∧¬p ⊨ q 由於矛盾句 p∧¬p 不可能為真,...

閱讀更多 »
論域非空的邏輯

0

Photo Credit: Xalikot via Compfight cc 古典邏輯一直有許多備受爭議的設定。如果說條件句是古典語句邏輯的大戰場,那麼,論域非空的設定便是古典述詞邏輯的大戰場。 述詞邏輯和語句邏輯最大的差異,在於述詞邏輯多了量化詞。古典述詞邏輯...

閱讀更多 »
 
Toggle Footer