使一个命题或语句具有真值或能够成立的条件。它是有效交际中双方共同接受的事实或命题。判定个命题是否是其他命题的预设，一般可用“否定检验法”：命题p是命题q的预设，当且仅当，q真时p真，q假时p也真。p真是q真或q假(即q有真值)的前提条件。因此也有人把预设称为前提。如：⑴我曾经抽烟。⑵我已经戒烟。⑶我还未戒烟。其中⑴是⑵和⑶的预设，因为只有⑴真，⑵和⑶才有真假可言。预设的种类，按其内容可分为事实预设(以具体事实命题构成的预设)和理论预设(以一般理论命题构成的预设)，另一种划分是存在预设、事实预设、种类预设；按其功能可分为语义预设和语用预设。有些学者认为概念或语词也有预设。如“控告”以所指对象有罪行为预设，“原谅”以说话人自认有过失为预设。
内涵语境(语言)：内涵逻辑的基本概念。一个表达式有外延，也有内涵。人们使用一个表达式，有时既涉及其内涵又涉及其外延，有时则仅涉及其内涵，有时又仅涉及其外延。如果一个语境提供的是关于某语言表达式的内涵，该语境为该表达..
逆关系(语言)：逻辑学术语。如果S(y，x)真时，R(x，y)必真，则关系R是关系S的逆关系。自然语言中“…的双亲”关系是“…的孩子”关系的逆关系。被动语态中的一个谓词(如“被看到”)可以看作主动语态中的谓词(如“看到”)的逆关..
关系的自返性(语言)：关于关系项与其自身的一类关系性质。它所涉及的问题是：对于集合K中一个确定的关系R来说，集合K中任意一个个体x与其自身是否具有关系R。有三种情况：如果x与其自身都具有关系R(即“xRx”为真)，则称关系R..
关系的对称性(语言)：两个关系项之间的一类关系性质。它所涉及的问题是：对于集合K中一个确定的关系R来说，集合K中的任意两个个体x、y，当x对y具有关系R时，y对x是否具有关系R。有三种情况：如果x对y具有关系R(即“xRy”为真)时，y..
文恩图解(语言)：也译”凡恩图解”。由英国逻辑学家文恩于1880年创造的一种图解方法。文恩图的基本形式是根据需要在一矩形中画一个或若干个都相交叉的曲线形，通常是用两、三个圆圈，如图1所示，文恩图解不同于欧拉图解之处..