在上海科学技术文献出版社,左孝凌离散数学推理理论中提到了T规则,P规则,在例题中还有E,I等符号.
在上海科学技术文献出版社,左孝凌离散数学推理理论中提到了T规则,P规则,在例题中还有E,I等符号.
能给我讲讲这些规则和推理的格式吗?
这种格式和我平时见到的 因为所以 类型不太一样,
能给我讲讲这些规则和推理的格式吗?
这种格式和我平时见到的 因为所以 类型不太一样,
赞 tianmimi11 幼苗
共回答了15个问题采纳率：100% 举报
简而言之,
P规则：就是直接利用推理中给出的前提；
T规则：就是由某一个或几个前提可以通过等价、蕴含得到其他命题公式.
I表示在T规则中通过蕴含式推出其他命题公式；
E表示在T规则中通过等价式推出其他命题公式.
P规则：就是直接利用推理中给出的前提；
T规则：就是由某一个或几个前提可以通过等价、蕴含得到其他命题公式.
I表示在T规则中通过蕴含式推出其他命题公式；
E表示在T规则中通过等价式推出其他命题公式.
1年前
5
可能相似的问题
-
1年前1个回答
-
是第一页快乐成语第四十八页最后一题谁好的200科学技术文献出版社
1年前1个回答
-
1年前2个回答
-
初中物理所有知识点总结（广东教育出版社 上海科学技术出版社）
1年前3个回答
-
1年前2个回答
-
1年前2个回答
-
1年前1个回答
-
1年前2个回答
-
1年前1个回答
-
1年前1个回答
-
1年前1个回答
你能帮帮他们吗