题目内容：

离散数学蕴涵式定义请教
书上的定义说：当条件式是一个重言式时,则该重言式是一个蕴涵式,此处我不甚理解,因为重言式的定义是,一个给定的命题公式,若无论对分量进行怎样的指派,其对应的真值永远为t,而从条件式的定义可知,条件式不可能永远为真,除非限定其两个分量的真值,这个又同重言式的定义矛盾,因此请问,蕴涵式的定义该如何理解呢,万分感激