已知命题“”，命题“”，若命题“且”是真命题，则命题“且”是真命题               .