命题逻辑之二逻辑学命题逻辑:推演前言:什么是推演?什么是自然演绎?推演:例子如果小王是三好学生,那么小王学习好并且品德好;小王是三好学生,所以,小王学习好。分析为:如果小王是三好学生,那么小王学习好并且品德好;小王是三好学生,所以,小王学习好并且品德好。小王学习好并且品德好,所以小王品德好。由相对复杂的推论分析为简单可以推演规则为依据的简单推论并且一步一步得出结论的方法就是“自然演绎”。自然演绎的过程称之为推演。八条整推规则肯定前件根据蕴含命题的特征真值表P→Q蕴含命题真并且前件真后件真,P前件真后件后件真假不确定∴Q否定后件P→Q¬Q∴¬P否定析取支P∨QP∨Q¬P和¬Q∴Q∴P附加P和Q∴P∨Q∴P∨Q根据析取命题的特征真值表,析取命题真并且其中一个析取支真另一个析取支可真可假;析取命题真并且其中一个析取支假另一个析取支真;析取命题一个析取支真,析取命题真。化简P∧Q和P∧Q∴P∴Q合取PQ∴P∧Q根据合取命题的特征真值表,合取命题真,其两个合取支都真;两个合取支都真,合取命题真。假言三段论P→QQ→R∴P→R二难推论P→QR→SP∨R∴Q∨S
命题逻辑之二逻辑学 ppt课件 来自淘豆网m.daumloan.com转载请标明出处.
