下面哪个命题推理不是有效性推理：
A: 或者天晴，或者下雨。如果是天晴，我就去打球；如果我打球，那么我就不读书。所以，如果我在读书，那么天没下雨。
B: 如果我程序通过，那么我很快乐。如果我快乐，那么阳光灿烂。现在天很黑。所以我的程序没有通过。
A: 或者天晴，或者下雨。如果是天晴，我就去打球；如果我打球，那么我就不读书。所以，如果我在读书，那么天没下雨。
B: 如果我程序通过，那么我很快乐。如果我快乐，那么阳光灿烂。现在天很黑。所以我的程序没有通过。
举一反三
- 【多选题】根据真值函项逻辑,下列论证形式上有效的是()。 A. 如果天不下雨，我就去；天没有下雨，因此，我一定去。 B. 如果天不下雨，我就去；天下雨，因此，我一定不去。 C. 如果天下雨，我就不去；天没有下雨，因此，我一定去。 D. 如果天下雨，我就不去；天下雨，因此，我一定不去
- 今天或者天晴或者下雨。如果天晴，我去看电影；若我去看电影，我就不看书。故我在看书时，说明今天下雨。采用命题逻辑论证上述推导是正确的
- 用推理规则论证下述问题：我或者去北京，或者去广州。如果去北京，就去长城。去了长城，就不能参加运动会。所以，如果我参加了运动会，那么我去了广州。
- “如果今天下雨，我将呆在家里；我今天没有呆在家里，所以今天没有下雨” ，这是一个有效推理。
- “如果我参加劳动，那么我疲劳；我疲劳，所以我参加了劳动。”是有效推理。 A: 正确 B: 错误