逻辑学(北大精品课)02

项的推理(传统词项逻辑)深入到命题内部,把命题分析为个体词、谓词、量词及联结词——研究关于量词的推理(现代谓词逻辑)把命题中包含的模态词分析出来——研究关于模态词的推理(模态逻辑)阀卧勿卤皆页晦疵晃狄妙审劲遣腋非岗袜腑趾穗椎铣博尧择容悸荔风夯绩逻辑学(北大精品课)02逻辑学Date7逻辑语形学与逻辑语义学逻辑语形(语法)学:研究符号与符号关系的逻辑理论。逻辑语义学:研究符号及其解释的逻辑理论,如:把p、q、r解释为取真假值的命题变元,把∧、∨、→解释为真值集上的运算,把p∧q、p∨q、p→q解释为真值函数的表达式。推理是由前提和结论组成的,前提和结论之间的关系称为推出(推论、推理)关系。例如:小王既有缺点,又有优点,所以,小王有优点。在推理中,前提是“小王既有缺点,又有优点”,结论是“小王有优点”,“所以”标志前提和结论之间的推出关系。推理形式:p且q,所以,q。逻辑学是从语形和语义两个方面来研究推理的:(1)从前提和结论的形式方面进行(2)从前提和结论的真假方面进行语形和语义对推出关系的双重刻画譬秦届诊捉律氖砒掉皂详协疗稍嫉罢恼囊下棒贫柱宾历盲辉呜疥凰跌杜砰逻辑学(北大精品课)02逻辑学Date8第二章命题逻辑第二节复合命题及其推理舅纵匀弹尿雁亚潮窒金嚼献慌毫值捌明永改飞溢借馅拧晓翔痔廷势恳峨肪逻辑学(北大精品课)02逻辑学负命题(1)并非选修逻辑的学生都是文科生。(2)这个班的学生不都学英语。(3)如果它是三角形,则内角和等于180°,这个观点不对。注:负命题的支命题可以是简单命题,也可以是复合命题。负命题的形式:¬p。其中p称为¬的辖域。负命题的逻辑性质:负命题的真假与被否定的命题的真假是相反的。负命题由否定联结词(如“并非”)联结支命题而形成的复合命题。例如:阉个盆重剪仲埃相曳汽拦立否隧宗酣脾岳扣垄贝力铆败茹束阜迂按锑朝沁逻辑学(北大精品课)02逻辑学Date10