【分享】世界最简洁的符号逻辑

文魁星

世界最简洁的符号逻辑──《易符逻辑》
北大中文论坛 www.pkucn.com ? 中文信息处理 ? 《易符逻辑》──世界最简洁的符号逻辑   
2006-4-20 17:48 #1
·
《易符逻辑》──世界最简洁的符号逻辑
　　　　　　龙　三
·
肯定：〓　　　　　　否定之否定
·　　　　　　　　　
否定：─　　　　　　假
·　　　　　　　　　
　　　─　　　　　　
相反：Ⅰ　　　　　　逻辑非
·　　　　　　　　　
　　　〓　　　　　　
否推：ⅠⅡ（ⅠⅡ）　析取 混合 或者
·　　　　　　　　　
共同：Ⅰ·Ⅱ　　　　合取 相交 并且
·　　　　　　　　　
　　　─　　　　　　
推理：ⅠⅡ　　　　　推出 充分条件 延伸性
·　　　　　　　　　
互推：Ⅰ│Ⅱ　　　　充分必要
│Ⅰ
│Ⅱ
（竖式）
·　　　　　　　　　
联结：　　　　　　　括号 延伸性
　　　──　　　　　
符号力（递减）：横线 共同 否推 推理 互推
注：横线─，置上为逻辑非（逻辑非合取为推理）；置中为否定；置下为括号；其具有延伸性与范围性。
·
例一、　　　　　　　
─────　　　　　
─　　─　 ─　　　
ⅠⅡ·ⅡⅢ ⅠⅢ│〓 三段论恒真式（推理传递律）
──　── ──
三段论的直观证明：　
───────　　　　　　　　　Ⅲ
───　　　　　　　　　───　Ⅱ
─　　　　　─　─　　　　　─　Ⅰ
　Ⅰ　Ⅱ　│　Ⅲ　│　│　│　　　
　Ⅰ　Ⅱ　│　Ⅲ　│　│　│　　─
〓Ⅰ　Ⅱ〓│〓Ⅲ〓│〓│　│〓　ⅠⅡ
　Ⅰ　Ⅱ　│　Ⅲ　│　│　│　　
　Ⅰ　Ⅱ　│　Ⅲ　│　│　│　　─
〓Ⅰ〓Ⅱ　│　Ⅲ〓│〓│〓│〓　ⅡⅢ
　Ⅰ　Ⅱ　│　Ⅲ　│　│　│　　
　Ⅰ　Ⅱ　│　Ⅲ　│　│　│　　─　　─
〓Ⅰ　Ⅱ　│　Ⅲ〓│〓│　│〓　ⅠⅡ·ⅡⅢ
　Ⅰ　Ⅱ　│　Ⅲ　│　│　│　　──　──
　Ⅰ　Ⅱ　│　Ⅲ　│　│　│　　
　Ⅰ　Ⅱ　│　Ⅲ　│　│　│　　─────
　Ⅰ　Ⅱ　│　Ⅲ　│　│　│　　─　　─
　Ⅰ〓Ⅱ〓│〓Ⅲ　│　│〓│　　ⅠⅡ·ⅡⅢ
　Ⅰ　Ⅱ　│　Ⅲ　│　│　│　　──　──
　Ⅰ　Ⅱ　│　Ⅲ　│　│　│
　Ⅰ　Ⅱ　│　Ⅲ　│　│　│　　─
〓Ⅰ　Ⅱ　│〓Ⅲ〓│〓│〓│〓　ⅠⅢ
　Ⅰ　Ⅱ　│　Ⅲ　│　│　│
　Ⅰ　Ⅱ　│　Ⅲ　│　│　│　　─────
　Ⅰ　Ⅱ　│　Ⅲ　│　│　│　　─　　─　　─
〓Ⅰ〓Ⅱ〓│〓Ⅲ〓│〓│〓│〓　ⅠⅡ·ⅡⅢ　ⅠⅢ　（恒真）
　Ⅰ　Ⅱ　│　Ⅲ　│　│　│　　──　──　──
（若Ⅰ推出Ⅱ，并且，Ⅱ推出Ⅲ，那么，由Ⅰ推出Ⅲ）
·
例二、
──
─  〓─
ⅠⅡⅡⅠ （反正律）
连推（竖式）：
│─
│ⅠⅡ （原式）
│
│　─
│ⅡⅠ （交换律）
│
│〓─
│ⅡⅠ（互否律）必要条件
（若Ⅰ，则Ⅱ，Ⅱ是假的，那么，Ⅰ一定是假的。）
·
例三、
───
─ ─
Ⅰ Ⅱ │Ⅰ·Ⅱ《德·摩根律》的证明：
《德·摩根律》直观证明：
───　　　　Ⅱ
─　　　　　─Ⅰ
　Ⅰ　Ⅱ　│　─ ─
〓Ⅰ〓Ⅱ　│〓Ⅰ Ⅱ
　Ⅰ　Ⅱ　│　
　Ⅰ　Ⅱ　│　───
　Ⅰ　Ⅱ　│　─ ─
　Ⅰ　Ⅱ〓│　Ⅰ Ⅱ
　Ⅰ　Ⅱ　│　
　Ⅰ　Ⅱ〓│　Ⅰ·Ⅱ　（共同点）
（若一工作人员到场，而另一位工作人员未到，那么双保险锁门是打不开的。）
·
　　《易符逻辑》易于电脑文本处理，世界通用，这是几十年以前的研究成果了，又名《推理逻辑》，这是一个逻辑性强的符号系统，窥一斑可见全豹，一叶落便知天下秋！。
http://www.srf.cn/dispbbs.asp?boardid=15&id=8628

传教士

不懂