作业帮 > 数学 > 作业

在上海科学技术文献出版社,左孝凌离散数学推理理论中提到了T规则,P规则,在例题中还有E,I等符号.

来源:学生作业帮 编辑:搜搜考试网作业帮 分类:数学作业 时间:2024/07/05 19:28:51
在上海科学技术文献出版社,左孝凌离散数学推理理论中提到了T规则,P规则,在例题中还有E,I等符号.
能给我讲讲这些规则和推理的格式吗?
这种格式和我平时见到的 因为所以 类型不太一样,
在上海科学技术文献出版社,左孝凌离散数学推理理论中提到了T规则,P规则,在例题中还有E,I等符号.
简而言之,
P规则:就是直接利用推理中给出的前提;
T规则:就是由某一个或几个前提可以通过等价、蕴含得到其他命题公式.
I表示在T规则中通过蕴含式推出其他命题公式;
E表示在T规则中通过等价式推出其他命题公式.