逻辑推理中的这些式子什么意思,图中的I1,还有那些P,
来源:学生作业帮助网 编辑:作业帮 时间:2024/07/06 13:03:43
![逻辑推理中的这些式子什么意思,图中的I1,还有那些P,](/uploads/image/z/10078164-36-4.jpg?t=%E9%80%BB%E8%BE%91%E6%8E%A8%E7%90%86%E4%B8%AD%E7%9A%84%E8%BF%99%E4%BA%9B%E5%BC%8F%E5%AD%90%E4%BB%80%E4%B9%88%E6%84%8F%E6%80%9D%2C%E5%9B%BE%E4%B8%AD%E7%9A%84I1%2C%E8%BF%98%E6%9C%89%E9%82%A3%E4%BA%9BP%2C)
逻辑推理中的这些式子什么意思,图中的I1,还有那些P,
逻辑推理中的这些式子什么意思,图中的I1,还有那些P,
逻辑推理中的这些式子什么意思,图中的I1,还有那些P,
P 是指 前提(Premise),即前提引入,引入的题设前提一定是永真的.
T 是指 重言(永真)式(Tautology),T(1)(2)就是说 (1)(2)是永真的.
I 是指 蕴涵式(Implication),即推理定律,比如假言三段论、构造性二难等,有 9 条,标注为 I1~I9.上面的 I3、I4 分别表示 假言推理和拒取式.