数理逻辑
hbzhuxu
这个作者很懒,什么都没留下…
展开
-
[数理逻辑] 例题证明 P59-60 定理2.6.5
数理逻辑 例题证明 P59-60 定理2.6.5(iii)求证 A |- !!AA,!A |- A (+,E)A,!A |- !A (E)A |- !!A (!+)(iv)求证A,!A |- BA,!A,!B |- A (+,E)A,!A,!B |-!A (E)A,!A |- B (!-)(v)求证 A |- !A->BA,!A |- B (!-)----UP原创 2005-07-01 23:47:00 · 1364 阅读 · 0 评论 -
[数理逻辑]第一篇
本数理逻辑研究范围: 路钟万 面向计算机科学的数理逻辑 中所包含的数理逻辑问题。目的:用数学方法研究逻辑问题 前提-->结论分类: 演绎逻辑:前提真-->结论真(可推导关系)(本书研究的主要类别) 可推导型:前提真与结论真之间的一种关系(由前可推导结) 归纳逻辑:真的前提-->协调的结论(不要求真)(协调:与前提或自身协调)形式语言: 目的:精确的表达命题逻辑形式。 语义:符号、原创 2005-07-02 01:34:00 · 2086 阅读 · 0 评论 -
[数理逻辑]可靠性和完备性的一点思考
语义语法逻辑推论形式推演可靠性和完备性就是为了保证二者之间的映射的准确性。原创 2005-07-02 15:34:00 · 2995 阅读 · 1 评论 -
[数理逻辑]例题证明 P59 定理2.6.4
数理逻辑 例题证明 P59 定理2.6.4 i 证明 A->B,A |- BA->B,A |- A->B (E)A->B,A |- A (E)A->B,A |- B (-> -) 证毕ii 证明:A |- B -> AA |- A (REF)A,B |- A (+)A |- B->A (-> +) 证毕iv 证明:A->(B->C),A->B |- A->CA-原创 2005-07-01 23:46:00 · 1671 阅读 · 0 评论 -
[数理逻辑] 例题证明 P61 定理2.6.6
数理逻辑 例题证明 P61 定理2.6.6(1)A->B |- !B->!AA->B,!B,A |- B (+,E)A->B,!B,A |- !B (E) A->B,!B |- !A (!+)A->B |- !B->!A (-> +)证毕(3)!A->B |- !B->A!A->B,!B,!A |- !B (+,E)!A->B,!B,!A |- B (E)!A->B,!B |原创 2005-07-01 23:47:00 · 1755 阅读 · 0 评论 -
[数理逻辑] 定理2.6.10 p65 出错?
数理逻辑 定理2.6.10 p65iii A->(B^C) |-| (A->B)^(A->C)iv A->(BVC) |-| (A->B)^(A->C)iv这个公式是不是有问题啊?iv A->(BVC) |-| (A->B)V(A->C) 吧。。 要不就是iii A->(B^C) |-| (A->B)V(A->C)原创 2005-07-02 23:06:00 · 1511 阅读 · 2 评论 -
[数理逻辑]经典逻辑的总体思考
=========================经典逻辑的总体思考(未完成)=========================基本概念------------------------------------命题 内容 逻辑形式形式语言:人工构造的符号语言,代替自然语言,能精确表示命题的逻辑形式。语义:符号及符号表达式的含义语法:符号表达式的形式结构经典逻辑------------------原创 2005-07-16 00:15:00 · 1798 阅读 · 2 评论 -
正式迁移blog到msn spaces
原因很简单。经常出现“白屏”。无法更新资料。http://spaces.msn.com/members/hbzhuxu原创 2005-08-01 11:39:00 · 1392 阅读 · 0 评论