逻辑中二者之间有密切关联。例如下列原理成立：但是这些原理不在所有逻辑中成立。它们显着的不成立于非单调逻辑中，也不成立于相干逻辑中。实质蕴涵的其他性质：注意formula_23 逻辑等价于formula_24；这个性质有时叫做柯里化。由于这些性质，对→符号採用右结合约定是合适的。
对自然语言的符号表示.在介绍逻辑的课本中经常包括的常见的练习是符号表示。这些练习给学生自然语言的一个句子或一段文本，学生必须把它们转换成符号语言。这是通过识别普通语言的等价的逻辑