原文:第01炼 命题形式变化及真假判定