易知“我们努力学习”所表示的含义是“命题”，
问题是“我们要努力学习”是否也是命题？两者有什么关系？
后者属于“情态逻辑”吗？我们通常说的命题逻辑可理解为“事实逻辑”吗？
后者属于“主观逻辑”，前者属于“客观逻辑”吗？
Catso 回复 h 说：
一般“命题”的定义就是指那些能判断出“是”或“非”的句子。如果把第二句中的“要”理解为“需要”这样一个情态动词的话，可以说是情态逻辑中由必然性运算符（necessity operator）引导的语句，超出了“命题”这一概念。
对于另一个问题，任何决定性逻辑语言的基础几乎都是命题逻辑。而命题逻辑等价于集合论。所以可以说在决定性单调推理中，大多数接触到的逻辑语言本质都是命题逻辑。
(2006-09-18 20:27:14)
很久前，在无意中看到了你的blogbus。于是我也开始了我的bus之旅。喜欢你的文字，喜欢你的照片。
可是总不见更新，期待中……
Catso 回复 阿鱼 说：
会有更新的，只要开了头的东西，一般我就丢不掉了，呵呵：）
(2006-09-18 20:03:33)
Dear Kiama,
Your pictures here are so great! I like the window picture and the sunshine.
不好意思，我的汉语不太好， 现在还是学习。
谢谢！
Catso 回复 sinta 说：
Welcome to my shabby place. Don't worry, your Chinese is well.
(2006-09-18 19:56:11)
Kiama到底是个什么样的神奇地方呢？
Catso 回复 lpmm 说：
是每个人心里都会有的一个地方：）
(2006-09-18 19:44:43)
无意中看到你的BLOG，很喜欢，喜欢你的文字，也喜欢你拍摄的照片，还有那些看起来有些奇怪的设计作品。
不过，一看日期，发现你好久都没有写了，期待中……
Catso 回复 行走的风 说：
呵呵，有时候自己也觉得的确奇怪。今年较忙：）
(2006-09-18 19:42:59)
5月了阿
好久没更新了
Catso 回复 MOMO 说：
万事皆繁，流年不利。不过肯定会回来的：）
(2006-09-18 19:38:19)
这样的景色 很多人可能一辈子也看不到啊，，，，，
呵呵 偶又回来啦 ``
偶是宇宙无敌可爱多``` 哦也哦也``
请允许我兴奋下下 呵呵``
安
Catso 回复 邪 说：
很久没见你啦，现在终于回来了：）我也好久没来
(2006-09-18 19:32:39)
魔界空明的博客
http://blog.mjkm.net
做个小广告：）
Catso 回复 魔界空明 说：
嘿嘿~~~欢迎广告：）
(2006-09-18 19:29:35)
http://blog.gudi.name/logs/2006/04/2321245.html
欢迎前来观看我们拍的独立电影《巫毒》的预告片。
Catso 回复 蛊 说：
暂停下载，呵呵，改天再试
(2006-04-25 19:44:14)
哈哈～
终于更新了～
＾－＾
喜欢—＜你的光＞
象电影里劫后重生的感觉呐～
呵呵～
Catso 回复 yang 说：
要是有大画幅的机器就好了，很壮观：）
(2006-04-25 19:24:31)
