A. 化简律 B. 附加律 C. 假言推理定律 D. 等价三段论定律
A. 0 B. 1 C. 2 D. 3
A. 若今天是5号,则明天是7号. 今天是5号. 所以明天是7号. B. 若今天是5号,则明天是7号. 明天不是7号. 所以今天不是5号. C. 今天是5号当且仅当明天是7号. 今天不是5号. 所以明天不是7号. D. 若今天是5号,则明天是7号. 明天是7号. 所以今天是5号.