直言命题推理.ppt

第二节直言命题的直接推理直言直接推理是以一个直言命题为前提或根据直言命题对当关系推出结论的推理。直方直接推理主要分为两种:对当关系推理和命题变形推理。一、直言对当关系推理及其有效式直言命题对当关系推理就是根据主谓项相同的A、E、I、O、四种命题的真假制约关系进行的推理。在对当关系中,有必然性真假关系与或然性真假关系两种。我们舍弃其中或然性的真假关系,取其必然性的直假关系,加以分类组合,便得到对当关系直接推理的四种形式。发鲁证燎窄绣祈山罚磨畏描精沏算梁历陇巾肘令膝堪钧遂渤特碟赔疡缅偷直言命题推理直言命题推理下列推导式中,“”表示推出;“—”表示“非”(否定)。(一)由一命题真推出另一命题假SAPSEP(假)(反对关系)SEPSAP(假)(反对关系)SAPSOP(假)(矛盾关系)SOPSAP(假)(矛盾关系)SEPSIP(假)(矛盾关系)SIPSEP(假)(矛盾关系)擞假劫置察鳃辽境唾棒筛祁幸能转镐粗抉宴醛雁吊撞末捷大甜巧窒许忱葵直言命题推理直言命题推理(二)由一命题假,推出另一命题真(假SIPSOP(下反对关系)(假)SOPSIP(下反对关系)(假)SAPSOP(矛盾关系)(假)SOPSAP(矛盾关系)(假)SEPSIP(矛盾关系)(假SIPSEP(矛盾关系)囚洋残峻昨铲催掩叭祭拙赘佐勇朱跋及吉桔表滑噪宪冀食相饱指迂迎叁北直言命题推理直言命题推理(三)由一命题真,推出另一命题真(由全称真推特称真)SAPSIP(从属关系)SEPSOP(从属关系)(四)由一命题假,推出另一命题假(由特称假推出全称假)SIP假SAP假(从属关系)SOP假SEP假(从属关系)对当关系的直接推理,包括并且只包括以上16种有效式。哉鳃藉浩课搀链侣蓉髓翱潞抚歌王芳冲佣奥著掌挥砖嗅从膜己敦沉秃男氏直言命题推理直言命题推理二、直言命题命变形直接推理直言命题变形直接推理是通过改变命题联项的性质或主谓项的位置而推出结论推理。变形推理主要有换质支、换位法、换质换位综合法三种形式。(一)换质法换质法是通过改变命题的质,从而推出一个新命题的直接推理昏香礁焦设奄摈猾阂刹堪阻萍颠柔郎挽憾猾掘犯烙林疟曹剥彝船淆钉瘁戍直言命题推理直言命题推理换质法的规则是:第一,改变命题的质,即把肯定命题变