tq系统——乘法的同构

优秀书籍

tq系统在很多地方都类似pq系统，详情：点击打开链接
tq系统是一种形式系统，有三个符号：字母p、字母q、和短杠－。
tq系统有无穷多条公理，列不完，所以下了个定义：

只要x仅由一串短杠组成，那么xqxt-就是一条公理。不是这个形式的都不是公理。

tq系统只有1条生成规则：
假设x、y、z都是只包含-的特定的字符串，并且xqytz是定理，那么xyqytz-就是定理。

这个系统中，判定一个字符串是不是定理很容易。
当且仅当，字符串是xqytz的形式，其中x、y、z都是只包含-的特定的字符串，而且x的长度是y和z的长度的乘积的时候，这个字符串是定理。

要说明这一点，需要从2个方面说明。

第一，定理一定满足，x的长度是y和z的长度的乘积，这一点，从生成规则还是比较容易看出来的。

第二，满足x的长度是y和z的长度的乘积的xqytz的形式的字符串一定是定理。这个需要推导出定理。

推导：yqyt-是公理

所以yyqyt--是定理

所以yyyqyt---是定理

。。。。。。

这个过程不需要无限进行下去，只需要有限步就能推导出：

所以xqytz是定理

这样，这个系统就是乘法系统的同构了。
x equal y times z

文章来源: blog.csdn.net，作者：csuzhucong，版权归原作者所有，如需转载，请联系作者。

原文链接：blog.csdn.net/nameofcsdn/article/details/52961499