3列分别是编号、公式、依据P是“前提”的意思T（n）代表编号为n的那行E代表该行的证明要用到恒等关系公式I代表该行的证明要用到蕴含关系公式T(5)(6)I 表示编号为(7)的公式由编号为(5)和(6)的公式用蕴含关系的公式得到的同理，T(7)E表示编号为(8)的公式由编号为(7)的公式用恒等关系的公式得到的说的比较啰嗦，不知道说清楚了没有
