有以下四个命题，且它们都成立：（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

　　（注：用其它方法合理得出正确答案也可以，但是要有推理过程。）