单项选择题 蕴涵关系只有从（）来看才是成立的。

单项选择题 （）允许我们从所有情形推导出特殊情形。

单项选择题 在真值表检验中，目的是要给给定论证建立一个（）。