“没有一件事情会不留下痕迹而过去”（契诃夫），这一语句表达的命题，其逻辑形式可用符号公式表示为（）