如果昨天是明天，那么今天就是星期五，那么请问，今天是星期几？

原题：如果昨天是明天就好了，那么今天就是星期五了。
问：句中今天是星期几。
解法一（代入法）：
原题可以转化为“如果昨天是星期四，那么今天就是星期五”，所以“明天”等于星期四。因此今天是星期三。
解法二（反证法）：
假设实际的今天为星期三成立，那么实际的明天为星期四。
看题目，“如果昨天是明天”，那么虚拟的“昨天”就是星期四。
据此，可以推出虚拟的“今天”就是星期五。
所以，假设成立，实际的今天为星期三。