判断下面推理是否正确若气温超过30度，则Alice必去游泳。若Alice去游泳，则她就不去看电影。今天气温超过30度。所以今天Alice不会去看电影。
举一反三
- 判断下面推理是否正确若气温超过30度，则Alice必去游泳。若Alice去游泳，则她就不去看电影。今天Alice没去看电影。所以今天气温必然超过30度
- 构造下面推理的证明：如果小张和小王去看电影，则小李也去看电影，小赵不去看电影或小张去看电影，小王去看电影，所以，当小赵去看电影时，小李也去。
- 用构造证明的方法证明推理的正确性。如果小张和小王去看电影，则小李也去。小赵不去看电影或者小张去看电影。小王去看电影。所以，小赵去看电影时，小李也去。
- 构造下面推理的证明下午张三或去看电影或去游泳。他没有去看电影，所以，他去游泳了。
- 设P：小王下午去看电影；Q：小王下午去游泳，则下午小王或去看电影或去游泳；他没去看电影；所以，他去游泳了的推理形式正确得是 。 A: (P∨Q)∧￢P→Q B: (P∨Q)∧￢P => Q C: (P∨Q)∧￢P <=> Q D: (P∨Q)∧￢P ←→ Q