离散数学 逻辑推理中的这些式子什么意思，图中的I1，还有那些P, T都什么意思？

Question

如题所述

Answer 1

P 是指 前提（Premise），即前提引入，引入的题设前提一定是永真的。

T 是指 重言(永真)式（Tautology），T(1)(2)就是说 (1)(2)是永真的。

I 是指 蕴涵式（Implication），即推理定律，比如假言三段论、构造性二难等，有 9 条，标注为 I1～I9。上面的 I3、I4 分别表示 假言推理和拒取式。追问

谢了！