离散数学第2版作者王元元离散第9讲命题与逻辑联结词课件.pptxVIP

计算机专业基础课程;·逻辑学是一门非常古老的学科，到现在已经有了两千多年的历史。古典逻辑学主要起源于古希腊学者亚里士多德的逻辑学说，他创作的《工具论》一书是古代一部最完备的逻辑学著作

·古典逻辑学的基本特点是用自然语言描述对逻辑的研究，而一旦超出这个范围，引入数学的方法来研究逻辑，就产生了远远优于古典逻辑学的现代逻辑学

·数理逻辑也称符号逻辑，是现代逻辑学研究的主体部分，是一门运用数学方法研究思维规律的边缘性学科。将推理变成数学演算，这是数理逻辑的指导思想，并且已经成为这门学科的主要特征

·数理逻辑是用形式化(符号化)方法来研究推理的科学;·侦探调查了罪案的四个证人。从证人的话侦探得出的结论是：

如果男管家说的是真话，那么厨师说的也是真话；

厨师和园丁说的不可能都是真话；

园丁和杂役不可能都在说谎

如果杂役说真话，那么厨师在说谎

·侦探能判断这四个证人分别是在说谎还是在说真话吗？;-4-;《离散数学》第9讲;·内容提要;·命题 (proposition或statement);·命题举例;·原子命题和复合命题;·举例;·常用5个逻辑联结词;·常用5个逻辑联结词;·常用5个逻辑联结词;·常用5个逻辑联结词

·蕴涵词(implication)：p→q，“如果p，那么q”、“p蕴涵q”、“p

是q的充分条件”

·从真值表可以看出，只有当前提为真，而结论是假时，p→q才是假的;-15-