离散数学里 直接证法的T(3),(2)I什么意思

2025-01-03 12:54:56
推荐回答(1个)
回答1:

一般写法是T,(3)(2),这是注释,T表示推导,整个就是表示所引用的推理规则和该推导行是由前面的第(3)(2)公式或定理得来的