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

来源:学生作业帮助网 编辑:作业帮 时间:2024/05/15 10:19:23
逻辑推理中的这些式子什么意思,图中的I1,还有那些P,

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

逻辑推理中的这些式子什么意思,图中的I1,还有那些P,
P 是指 前提(Premise),即前提引入,引入的题设前提一定是永真的.
T 是指 重言(永真)式(Tautology),T(1)(2)就是说 (1)(2)是永真的.
I 是指 蕴涵式(Implication),即推理定律,比如假言三段论、构造性二难等,有 9 条,标注为 I1~I9.上面的 I3、I4 分别表示 假言推理和拒取式.