求一个直言命题用符号公式表示并进行换质和换位推理[逻辑学相关]