「蕴含」与「等价」自然语言表达的理解」的摘要信息

里面解释了「当」和「仅当」的区别