转换

转换,在用演绎推理的或传统,逻辑主题和交换谓词的直言命题(无论如何。),或者声明。转换产生一个等价命题(,因此一个有效的推理)一般只有所谓的E和我命题(通用底片和特定affirmatives)。例如,匡威的E主张“没有人是不朽的”“没有神仙是男人”的我主张“人终有一死”是“一些人是凡人。”

在数学术语交谈获得的用于命题的变换一个B意味着C成一个C意味着B,象征性地呈现一个B⊃C成一个C⊃B。这个操作可能在某些情况下被简化为简单匡威一个一个命题(普遍肯定的)的传统逻辑的例子:“每一个等边三角形是等边,”,相反的,“每一个等边三角形是等边三角形。“但这样一个减少往往成为不可能或很人工。在这个意义上的转换,通过交谈不是从一个命题,一般来说,一个有效的推理;虽然经常一个数学命题和其交谈可能都持有,单独的证明必须有针对每种情况。