离散数学的一阶逻辑的推理理论

为什么两个第一组的命题逻辑推理定律的代换实例不一样，是两种都可以吗😭，求解释

根据化简律的结尾与附加率的开头一致，就可以发现其实它第二个实例其实是成立的，也就是两个都可以