三、重言蕴涵的几个结果 　　1. 如果AB, A为重言式B是重言式。 　　由AB, 知对A、B来说的任一解释下, 若A真B必真。而A为重言式, 对任一解释下A都真, 从而任一解释下B也真, 故B也是重言式。 　　2. 如果AB, BA同时成立, 必有A = B。 　　在任一解释下，由AB知若A真有B真。由BA知若B真有A真, 或说成是若A假必有B假。从而任一解释下 A, B同时为真同时为假, 故A = B。 　　反过来，A = B也必有AB和BA。 　　3. 如果AB, BC, 则AC。 　　4. 如果AB, AC则AB∧C。 　　5. 如果AC, BC则A∨BC。