展开 逻辑中的真值蕴涵