真值蕴涵

真值蕴涵   

即“实质蕴涵”。