作业帮 > 数学 > 作业

逻辑推理中的这些式子什么意思,图中的I1,还有那些P,

来源:学生作业帮 编辑:大师作文网作业帮 分类:数学作业 时间:2024/11/18 15:04:17
逻辑推理中的这些式子什么意思,图中的I1,还有那些P,
 
逻辑推理中的这些式子什么意思,图中的I1,还有那些P,
P 是指 前提(Premise),即前提引入,引入的题设前提一定是永真的.
T 是指 重言(永真)式(Tautology),T(1)(2)就是说 (1)(2)是永真的.
I 是指 蕴涵式(Implication),即推理定律,比如假言三段论、构造性二难等,有 9 条,标注为 I1~I9.上面的 I3、I4 分别表示 假言推理和拒取式.
再问: 谢了!