有以下四个命题,且它们都成立:(1)如果蓝军既占有天时(p),又占有地利(q),还占有人和(r),那么蓝军就能取得这场战争的胜利(s)。(2)蓝军没能取得这场战争的胜利。(3)蓝军占有地利。(4)如果蓝军占有地利,那么也占有人和。根据以上条件,请解释蓝军没能取得这场战争胜利的原因,并写出推导过程。
蓝军没能取得这次战争胜利,是因为不占有天时。 先将四个命题用符号表示:(1)p∧q∧r→s。(2)﹁s。(3)q。(4)q→r。 根据(1)和(2)可推出﹁p∨﹁q∨﹁r; 根据(3)和(4)可推出q∧r; 结合上面两个结论可推出﹁p,即蓝军不占有天时。 推导过程如下:(p∧q∧r→s)∧﹁s├(﹁p∨﹁q∨﹁r);q∧(q→r)├r; (﹁p∨﹁q∨﹁r)∧(q∧r)├﹁p (注:用其它方法合理得出正确答案也可以,但是要有推理过程。)