判断下列推理是否正确，先将命题符号化，再写出前提和结论,然后进行判断。(1)如果今天是1号，则明天是5号。今天是1号，所以明天是5号。(2)如果今天是1号，则明天是5号。明天是5号，所以今天是1号。(3)如果今天是1号，则明天是5号。明天不是5号，所以今天不是1号。(4)如果今天是1号，则明天是5号。今天不是1号，所以明天不是5号。
举一反三
- 判断下面推理是否正确.先将简单命题符号化,再写出前提、结论、推理的形式结构(以蕴涌式的形式给出）和判断过程(至少给出两种判断方法)：(1）若今天是星期一，则明天是星期三，今天是星期一，所以明天是星期三；(2）若今天是星期一，则明天是星期二，明天是星期二，所以今天是星期一，(3)若今天是星期一，则明天是星期三，明天不是星期三，所以今天不是星期一；(4)若今天是星期一，则明天是星期二，今天不是星期一，所以明天不是星期二；(5）若今人是星期一，则明天是星期二或星期三；(6)今天是星期一当且仅当明天是星期三，今天不是星期一，所以明天不是星期三。
- 若今天是星期一，则明天是星期二.今天不是星期一.所以明天不是星期二.[br][/br] 推理正确.
- 令p：今天星期一，r：明天是星期三，命题符号化：今天星期一，则明天星期三，今天是星期一，所以明天是星期三，推理(p→r)∧p =>r正确。
- 用等值演算法判断推理是否正确：若今天不是星期六，明天就不是星期一，明天是星期一，所以今天是星期六
- 判断下面推理是否正确。今天是星期一当且仅当明天是星期三；今天不是星期一。所以明天不是星期三。 A: 正确 B: 错误