若原命题为：如果p，那么q；则其否命题为：如果q，那么p。