做完梦里在求一个命题的等价命题，过程逻辑缜密、条理清晰，早上醒来时头晕脑胀的，就是忘记梦里的命题是什么了…