复合命题和性质命题

《复合命题和性质命题》由会员上传分享，免费在线阅读，更多相关内容在行业资料-天天文库。

1、复合命题联言命题and联言命题真值表：同真为真联言命题推理：（1）分解式pAq-p；（2）组合式（p,q）一pAq；选言命题or相容选言命题真值表：见真则为真。相容选言命题推理：（1）否定肯定式；（2）析取附加式：p-pVq；不相容选言命题真值表：一真一假则为真。不相容选言命题推理：（1）否定肯定式；（2）肯定否定式；假言命题if充分条件的真值表：前真后假必为假，其他为真。充分条件的推理：（1）肯定前件则肯定后件；（2）否定后件则否定前件;必要条件的真值表：前假后真为假，其他为真必要条件的推理：（1）否定前件则否定后件；（2）肯定后件则肯定前件;充分必要条件的真值表：同真同假则为真充分必要

2、条件的推理：（1）有前比有后；（2）没前必没后；模态命题及其推理概念：反映实物可能性或必然性的命题模态对当关系推理：模态三段论推理：与性质命题三段论推理一致性质命题全称否定，月特称RM,彳特称否定，彳命题种类：1对当关系同矛盾：可推真反对：可不后周斤有的S都是P,SAP;称A命题斤有的S都不是P,SEP;称E命题手的S是P,SIP;称I命题手的S不是P,SOP;称O命题全称的主项和否定的谓项周延，其他词项/、周延命题种类主项S谓项P以由真推假，可以由假以由真推假m以由假推正A周延不周延E周延周延I不周延不周延O不周延周延差NJ全称真特称假，全称假特称真三段论推理：有且只有三个命题，有且只

3、有三个词项jmihxjpi所有的金属都是导体MAP（结论里的谓项）大前提所有的铁都是金属SAM（结论里的主项）小前提所以，所有的铁都是导体SAP结论利用中项，大项和小项位置来判断三段论结构是否一样的三段论的规则：1.中项在大小前提中至少周延一次2.在前提中没有周延的项，结论不得周延3.两个否定的前提不能得出结论4.有一个前提是否定的，则结论是否定的5.如果结论是否定的，则必有一个前提是否定的导出规则1.两个特称的前提不能提出结论1.如果有一个前提是特称的，则结论只能是特称的。23