Anthelion666 Anthelion666
坎坷之路，终抵群星。
关注数: 19 粉丝数: 21 发帖数: 8,251 关注贴吧数: 0
zf 系统中的蕴涵是指的逻辑蕴涵吗 比如外延公理，如果用的是实质蕴涵，那前件假也成立。所以猜测是逻辑蕴涵，不知有没有相关的资料。
1 下一页