命题和逻联结词.pptVIP

专业基础课程 离散数学 三泸挂 d4cou →逻辑学是一门非常古老的学科,到现在已经有了两千多年的历 史。古典逻辑学主要起源于古希腊学者亚里士多德的逻辑学说, 他的《工具论》是古代一部最完备的逻辑学著作。 ≯古典逻辑学的基本特点是用自然语言描述对逻辑的研究,而 旦超出这个范围,引入数学的方法来研究逻辑,就产生了远远 优于古典逻辑学的现代逻辑学 少数理逻辑也称符号逻辑,是现代逻辑学研究的主体部分,是 门运用数学方法研究思维规律的学科。将推理变成数学演算, 是数理逻辑的指导思想,并且已经成为这门学科的主要特征。 →数理逻辑是用形式化(符号化)方法来研究推理的科学 →孔子是孔仲尼 分孔子是人∈ 少人是动物 推理的例子 →侦探调查了罪案的四个证人。从证人的话侦探得 出的结论是: 如果男管家说的是真话,那么厨师说的也是真话; 厨师和园丁说的不可能都是真话; ■园丁和杂役不可能都在说谎 ■如果杂役说真话,那么厨师在说谎 侦探能判断这四个证人分别是在说谎还是在说真 话吗? 第画逻輯线数(上):命题演算 命题与逻辑联结词 2逻辑等价式和逻辑蕴涵式 3范式 4证明技术(补充) 9命与眼 《离散数学》第9讲 命题与逻辑联结词 Tectbook Page 56 to 62 内容提要 →命题的概念 ■断言与命题、命题真值表示 ■原子命题和复合命题、命题常元、命题变元 →逻