4.6.3 串空间逻辑