离散推理题里的 P T I E 都是什么意思啊
作者&投稿：闻备 （若有异议请与网页底部的电邮联系）
T后面跟括号和数字几，表示根据第几个命题，得到结论
I表示用的永真蕴含式（但未指明用的是哪一条）
E表示用的逻辑恒等式（但也未指明用的是哪一条）
高等数学是最基础的.就是微积分,稍微涉及微分方程之类的.离散数学我没学过,那个是计算机类学生必须学的东西.概率论和数理统计其实没那么容易,它还要涉及到微积分且是双重积分,也就是说你要先学会微积分,再来学这个.所以总结一下就是,微积分（高等数学）是必须的基础.
简而言之，P规则：就是直接利用推理中给出的前提；
T规则：就是由某一个或几个前提可以通过等价、蕴含得到其他命题公式。
I表示在T规则中通过蕴含式推出其他命题公式；
E表示在T规则中通过等价式推出其他命题公式。
晁施莫刻：[答案] 简而言之, P规则:就是直接利用推理中给出的前提; T规则:就是由某一个或几个前提可以通过等价、蕴含得到其他命题公式. I表示在T规则中通过蕴含式推出其他命题公式; E表示在T规则中通过等价式推出其他命题公式.
东港市17348814261： 离散数学,请问命题逻辑推理过程中的I.E都是什么意思 - ？
晁施莫刻： 推理过程不就是一系列的公式吗?公式有两种: 前提:根据P规则引入; 中间结果:根据T规则引入; 对于中间结果,就是根据前提或其他中间结果利用【公式】得出来的;而能够利用的公式有两种: 蕴含式:用I表示; 等价式:用E表示; 至于为何选用这些字母,那是惯例:选用相关概念的英语首字母.
东港市17348814261： 在上海科学技术文献出版社,左孝凌离散数学推理理论中提到了T规则,P规则,在例题中还有E,I等符号.能给我讲讲这些规则和推理的格式吗?这种格式和我... - ？
晁施莫刻：[答案] 简而言之, P规则:就是直接利用推理中给出的前提; T规则:就是由某一个或几个前提可以通过等价、蕴含得到其他命题公式. I表示在T规则中通过蕴含式推出其他命题公式; E表示在T规则中通过等价式推出其他命题公式.
东港市17348814261： 逻辑学推理中用的字母都有哪些?它们分别表示什么意思?如SAP、SIM等. - ？
晁施莫刻： 在普通逻辑中,一般用S、P、M等大写字母代表概念,称之为概念变项;用小写字母p、q、r代表具体判断(命题),称之为判断变项(或命题变项).但A、E、I、O四个字母不是变项,而是表示逻辑形式的常项,具体规定是:A = 所有……是……E = 所有……不是……I = 有的……是……O = 有的……不是……例如SAP,就是“所有S都是P”SIM,就是“有的S是M”参见《逻辑学》(高等教育出版社2010年4月出版,杨树森)第8-9页,第84-86页. 要真正搞懂它们,建议认真看一本逻辑入门教材,任何一本都能找到您提的问题的答案.
东港市17348814261： 离散数学推理理论 - ？
晁施莫刻： -! 一看就知道你没看书 E 就是基本等价关系 I 就是推理定律 P 是你引入的前提 T 是你根据哪段 推出的 就T(n) 主要是你要记住 E I 这些公式 好像有 40条左右吧 化简化简 其实也没多少条 要记的 看点书就行了 看上去复杂 其实很简单的
东港市17348814261： 离散数学演绎推理 - ？
晁施莫刻： (1)pVq P(前提引入) (2) p A(假设规则) (3) p->r P (4) r T(2)(3) I (5) q A (6) q->s P (7) s T(5)(6) I (8) rVs (4)(7)析取引入 (9)rVs T(1)(2)(5)(8)
东港市17348814261： 离散数学这些推理定律是怎么来的 - ？
晁施莫刻： P 是指 前提(Premise),即前提引入,引入的题设前提一定是永真的. T 是指 重言(永真)式(Tautology),T(1)(2)就是说 (1)(2)是永真的. I 是指 蕴涵式(Implication),即推理定律,比如假言三段论、构造性二难等,有 9 条,标注为 I1~I9.上面的 I3、I4 分别表示 假言推理和拒取式.
东港市17348814261： 离散数学推理论证例题求解释?？
晁施莫刻：楼主你好、遇到这种题 要冷静, 首先后边标注P的表示已知条件,标注类似T(1)E这样的,就是由前面第(1)步的结论继续推证得到的结果.E应该是根据定理推证,I是根据前面某步或者某几步的结论推证. 具体解释就是这样的: 证法: (1)...
东港市17348814261： 离散数学 推理中的附加前提的规则 - ？
晁施莫刻： 1.加否定是用的反证法, 当然也可以不用附加的,也可以做的 2.是结论中的D,呵呵 这个问题不晓得说明你没看CP规则呀, 结论是P→Q 格式的,可以把结论中的前件也作为推理的前提,使结论只为Q . 额 到另外的问题那回答吧
东港市17348814261： 离散数学 逻辑推理 - ？
晁施莫刻： Q:张三考试合格 R:张三今年毕业 S:张三去北京工作前提: Q->R, R->S, ~S结论: ~Q证明:(1) R->S P(前提引入)(2) ~S P(前提引入)(3) ~R T (1...
