作者lovelyaiko (去你的1238，給我記著~)
看板logic
標題[請益] 命題邏輯&謂語邏輯&模態邏輯三者之間的關係?
時間Mon Jul 27 18:21:10 2009
Propositional Logic,Predicate Logic,Modal Logic
這三種型式個別的定義瞭解了
但是要把三者的相互關係具體的說明就有一點複雜
我可以說Predicate Logic是Propositional Logic的延伸
而Modal Logic又是Predicate Logic適用情境的擴張嗎?
這樣講起來好像過份粗淺
想請問一下
更深入的說明三者的相互關係該以什麼樣的角度切入比較好呢?
再者，
可以請問一下關於Predicate Logic 和Modal Logic
兩者之間的the square of opposition是如何運作的呀?
兩者所蘊含的邏輯和語用論的關係請問可以具體舉個例子嗎?
可以請哪位高手舉簡單的例子說明一下嗎?
因為這個部分怎麼都讀不懂。
感恩~
--
Die upon a kiss~
The light of a wholelife dies, When love is done.
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 120.74.183.201
※ 編輯: lovelyaiko 來自: 120.74.183.201 (07/27 22:54)
※ 編輯: lovelyaiko 來自: 120.74.183.201 (07/27 23:07)
1F：→ daltuku:有些在predicate, propsitional logic為真的argument在 07/29 10:46
2F：→ daltuku:modal logic裡面不會為真，可能是「假」或是「不知道」 07/29 10:47
3F：→ daltuku:所以你說「適用情境的擴張會有問題」 07/29 10:48
4F：推 daltuku:不過所有propositional logic中的argument的確可以在pre- 07/29 10:55
5F：→ daltuku:dicate logic中陳述 07/29 10:55
6F：→ daltuku:modal logic小妹不是很熟...或許原PO可以去SEP看看 07/29 10:56
8F：推 daltuku:2.modal logics的第三大段有提到ML與PrL的不同 07/29 11:01