分类：教育/科学-理工学科-数学
问题：离散数学推理题推理过程中，T(1)(2)I是什么意思？ 
过程中，T(1)(2)I是什么意思？
回答：T(5)(6)I的含义：
对（5)（6)两式使用T规则。I代表蕴含式。即：因为（5)、（6)两个公式重言蕴含着公式（7)，由T规则，可将公式（7)引入推理之中。

T规则：在推导中，如果有一个或多个公式、重言蕴含着公式S，则公式S可以引入推理之中。

参见：《离散数学》，左孝凌等，上海科学技术文献出版社