对下面的论证构造一个证明，给出所有必须增加的断言，指出用于每一步的推理规则：从语句“今天下雨或明天后天都下雨”和“明天不下雨或后天不下雨而今天下雨”可推出“今天下雨”。
举一反三
- 今天不下雨,明天不下雨,如果后天还不下雨这三天还下吗?
- 设A表示事件“明天和后天都下雨”，则其对立事件表示（ ） A: “明天和后天都不下雨” B: “明天不下雨或后天不下雨” C: “明天和后天正好有一天不下雨” D: “明天下雨或者后天下雨”
- 从“今天可能下雨”能推出的是： A: 今天下雨 B: 今天一定下雨 C: 并非今天一定不下雨 D: 并非今天不下雨 E: 今天可能不下雨
- 设事件A表示“明天和后天都下雨”,则A的对立事件是() A: 明天和后天都不下雨 B: 明天或者后天不下雨 C: 明天和后天正好有一天下雨 D: 明天或者后天下雨
- 甲、乙、丙关于今天是否下雨的情况有如下陈述： 甲：今天必然不会下雨。 乙：今天北京下雨了。 丙：今天可能会下雨。 经过核实，发现上述断定只有一个是不正确的。可见，( ) A: 今天可能会下雨。 B: 今天可能不会下雨。 C: 今天必然下雨。 D: 今天必然不下雨。 E: 今天北京没有下雨。