【胆小勿入】一些关于直言命题表达的新思路

42bh

哎呦我去，楼主阁下，您请看看板块名，我进你这帖子都以为走错板块了呢

tiwwcb

我擦嘞 发表于 2014-8-15 10:14
我粗略地想了一下，你指的大概是形式系统的完全性，以及判定问题
一阶谓词逻辑和命题逻辑是完全的，这倒 ...

不是完全性……咱虽然看不懂推导过程但知道有完全性这个概念。平庸是指一个系统的公理可以推出A
例如假设这玩意儿是公理
（A→B）→A
则
（（B→A）→B）→（B→A）代入规则
（B→A）分离规则
（（A→B）→A）→A代入规则
A分离规则
而A又可以代入任意命题，故这条公理可以推出一切公式，所以这个系统是毫无推理能力的、无用的，称之为平庸。经过咱的验证，类似的残暴系统还有
（A→B）→C
或
（A→B）→（B→A）
（A→（B→C））→（（A→B）→（A→C））
或
（A→B）→A
（A→B）→（（A→C）→（B→C））
诸如此类。导致系统平庸的原因就是乱加了一些在经典逻辑中根本不成立的逗逼式子。咱想知道的就是有没有以逗逼式子为公理且非平庸的系统，而假如平庸与否有机械化的检验方式、不需要慢慢试的话咱会轻松很多~

nick1044

直接跳过的路过，真不知道有什么关系

我擦嘞

tiwwcb 发表于 2014-8-15 12:49
不是完全性……咱虽然看不懂推导过程但知道有完全性这个概念。平庸是指一个系统的公理可以推出A
例如假设 ...

这我就不太清楚了，不过这个问题能做出来还是很有意义的

忍冬藤

我真是看醉了……楼主你是来虐文科生的吧？
……居然还未完待续

lilyan

RamonZoe 发表于 2014-8-9 21:38
因为看不懂,所以我要把符号全部跳过
跳过......
跳过......

我也是一直跳过跳过  感觉像在看数学公式 揪心

傲娇的少女

完全没看懂。。。。不过被吓了一跳

HYH87467

喧哗取众，博取眼球而已吧，估计楼主也没弄明白这些数学公式般的东西对写作有何帮助，不然的话就来简单的说明一下呗，当然，如果楼主打算用公式般的语句来说明这些的话就算了。