讨论了修正的RDP逻辑系统中序稠密子代数的广义重言式理论,并利用可达广义重言式概念和[α-]矛盾式概念在[RDP]的序稠密子代数中给出[F(S)]关于[~]同余的一个分划。
评论星级较低,若资源使用遇到问题可联系上传者,3个工作日内问题未解决可申请退款~