Entailment is the converse of the relation of logical consequence.
導出是邏輯推論關系的逆敘.
相關詞匯
isvt.& vi. 是（be的三單形式；n. 存在；
theart. 指已提到的人（物），指說話人與聽者已知的人（物），用于獨一無二的事物前，與形容詞最高級和序數詞連用；
ofprep. 關于，屬于…的，由…制成；aux. 助動詞 [非標準用語、方言] =have [主用于虛擬語氣]；
logicaladj. 邏輯（上）的，符合邏輯的，推理正確的，合乎常理的；