小明的陈述是“如果今天是星期天，那么我会去健身房”，这是一个蕴含命题。既然今天是星期天，但小明没有去健身房，说明这个命题不成立，即小明的陈述是错误的。