传统逻辑关于直言命题的预设

1 引言传统直言命题有四种形式,即: A:所有S是P;E:所有S不是P;I:有S是P;O:有S不是P。传统直言命题推理主要有三种,即:三段论推理,换质位推理和对当关系推理。与传统直言命题相对应,现代直言命题也有四种形式,即: A′:(x)(Sx→Px)E′: (x)(Sx→～Px) I′:((?)x)(Sx∧Px)O′:((?)x)(Sx∧～Px)