定义是揭示概念外延的逻辑方法。

当且仅当相容选言判断的联言肢至少有一个是假的，该相容选言判断才是真的。

判断题当且仅当相容选言判断的联言肢至少有一个是假的，该相容选言判断才是真的。

当且仅当联言判断的各个联言肢是假的，该联言判断才是真的。

判断题当且仅当联言判断的各个联言肢是假的，该联言判断才是真的。

当“当且仅P才q”为假时，“PVq”为假。

判断题当“当且仅P才q”为假时，“PVq”为假。