3. I 指的是蕴涵（Implication），它表示一个命题的真实性能够保证另一个命题的真实性。在逻辑推理中，I 表示如果一个条件成立，那么由此产生的结果也必定成立。4. I1、I2、直到I9 指的是不同的蕴涵式推理定律。这些定律是逻辑推理中的基本规则，用于在给定前提的情况下推导出结论。5. I3 和 I4 ...
I 是指 蕴涵式（Implication），即推理定律，比如假言三段论、构造性二难等，有 9 条，标注为 I1～I9。上面的 I3、I4 分别表示 假言推理和拒取式。
公式有两种: 前提:根据P规则引入; 中间结果:根据T规则引入;对于中间结果,就是根据前提或其他中间结果利用【公式】得出来的;而能够利用的公式有两种: 蕴含式:用I表示; 等价式:用E表示;至于为何选用这些字母,那是惯例:选用相关概念的英语首字母。 00分享举报您可能感兴趣的内容广告 正版1.76复古传奇电脑版游戏官网...
E是逻辑恒等式 I是永真蕴含式 书中有这些公式的表格，其中可以看到编号的
1 离散数学中这段话是什么意思:对于每一个i(i=1,2,……n),把pi在A中所有出现都替换成Ai……设A是一个命题公式,含有命题变项的p1,p2……pn,又设A1,A2……An是任意的命题公式;【对于每一个i(i=1,2,……n),把pi在A中所有出现都替换成Ai,所得到的新命题公式记作B。】如果A是重言式,则B也...
k属于正整数集合 I+是正整数集合 表明k的有效范围
T后面跟括号和数字几，表示根据第几个命题，得到结论 I表示用的永真蕴含式（但未指明用的是哪一条）E表示用的逻辑恒等式（但也未指明用的是哪一条）