| Gb | Eng |
|---|---|
| 换质法推导一个命题的方法 | Inference of the obverse of a proposition. |
| 综合命题由和或其符号所连接的子句组成的复合命题，只有当所有子句为真时，该句才为真 | A compound proposition that has components joined by the word and or its symbol and is true only if both or all the components are true. |
| 模态逻辑命题的限制条件，建立在其内容的肯定或否定其可能性，不可能性，偶然性或必然性基础之上 | The classification of propositions on the basis of whether they assert or deny the possibility, impossibility, contingency, or necessity of their content. |
| 逆命题通过换位得到的命题 | A proposition obtained by conversion. |