比如由A推出B，由B推出A，都行，但是首先证明过程是一个大字符串，A和B必须有先后顺序，如果A先出现，证明B可以使用A，反过来也一样。当然如果B后面又有一个A，那么证明第二个A可以使用B。
比如:
.......
A
.......
B
......
A。
命题的本质也是是字符串，我认为中间的命题并不是真实命题，而是一些虚拟命题，只有最后得出的结论才是真实命题。