非标准形式直言命题的改写,参见 熊明辉,第2版, p.115