试题题干
（）is a term derived from formal logic and now often used as part of the study of semantics.
参考答案
正确答案：
试题解析
蕴涵是从形式逻辑派生出来的一个术语，现在常用作语义学研究的一部分。
（）is a term derived from formal logic and now often used as part of the study of semantics.
蕴涵是从形式逻辑派生出来的一个术语，现在常用作语义学研究的一部分。