并非所有的实践都是有效检验的实践

前几天发了一个短文，“什么样的实践是有效的检验?” http://blog.sciencenet.cn/blog-626289-801575.html ，不过那是用自然语言写的，有人认为论证的很糟糕。这里想试试用形式逻辑学的语言重写一下。

“所有的实践都是有效检验的实践”是命题，是性质命题，是全称性质命题，是全称肯定性质命题。命题非真即假。

按照形式逻辑学性质命题的对当关系，与全称肯定性质命题“所有的实践都是有效检验的实践”成矛盾关系的是特称否定性质命题“有的实践不是有效检验的实践”，矛盾关系就是“此真彼就假，此假彼就真”。

负命题就是否定一个命题后形成的命题，通常是在原命题之前加上“并非”。原命题假，其负命题就真。

“所有的实践都是有效检验的实践”的负命题是“并非所有的实践都是有效检验的实践”，它就等值于“有的实践不是有效检验的实践”。特称性质命题中“有的”表示“至少有一个“。

医学是关于人类健康和疾病的有系统的知识。医学分为传统医学和现代医学，他们的对象是一样的。医学处置人类疾病的活动是人类的实践。

人类疾病存在自愈现象，即有的疾病不用治疗可自行痊愈，至少有一种疾病能自愈就证明”人类疾病存在自愈现象“为真。普通感冒就能自愈。

现代医学检验医药疗效是应用对照实验排除自愈现象的影响，是有效的检验。

传统医学检验医药疗效不是应用对照实验排除自愈现象的影响，不是有效的检验。

至少存在一个实践不是有效检验的实践，所以，“有的实践不是有效检验的实践”（真）。

“有的实践不是有效检验的实践”（真） → “并非所有的实践都是有效检验的实践”（真）。

根据换质推理，“有的实践不是有效检验的实践”（真） → “有的实践是非有效检验的实践”（真）。

”非有效“与”无效“等值， “有的实践是非有效检验的实践”（真） =  “有的实践是无效检验的实践”（真）。