对D蕴涵性质的研究
대D온함성질적연구
Study on the properties of D-implications