公式是真命题吗?是请说明理由!如果不是请举出反例!