作者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