离散数学推理理论里第二步可以是第一步置换吗?为什么

来源:学生作业帮助网 编辑:六六作业网 时间:2024/05/16 05:45:24
离散数学推理理论里第二步可以是第一步置换吗?为什么离散数学推理理论里第二步可以是第一步置换吗?为什么 离散数学推理理论里第二步可以是第一步置换吗?为什么这并不算难,动手写一写就有:p→(q→

离散数学推理理论里第二步可以是第一步置换吗?为什么
离散数学推理理论里第二步可以是第一步置换吗?为什么
 

离散数学推理理论里第二步可以是第一步置换吗?为什么
这并不算难,动手写一写就有:
p→(q→s) ┐p∨(┐q∨s) ┐q∨(┐p∨s) q→(p→s)