句子真值的蕴涵关系就是，从一个句子的句义一定可以推导出另一个句子的句义，反向推导却不成立。