离散数学课件 (2).pptVIP

§3.1逻辑学的概念;§3.1逻辑学的概念; 由于研究对象和方法的侧重点不同而分为 形式逻辑、辨证逻辑。 ;§3.２ 命题和逻辑联结词;注１:命题的真值是客观存在且唯一的,与我们的 感觉或是否知道是真是假无关。　　　;注２：命题的真值通常与命题论及的范围、 时间和空间有关。　　　　　　;　　原子命题通常用 等大写字母 表示 ． ;§3.2.2 逻辑联结词 ;真值表;注１：逻辑学的形式语言与论述的具体内容和我们的 自身感受无关，上例完全符合逻辑学上的语法规则。;真值表;注1：命题逻辑中联结词“或”与自然语言中的“或”有 较大区别，命题联结词中的“或”是“可兼或”。;注3:自然语言中有些“或”并不是联结词。;注1:自然语言中, 　　　往往有因果关系，但在数理 逻辑中　　　不一定有因果关系。;例1：你将一事无成，除非你努力。 如果你不努力，那么你将一事无成。令 ：你努力； ：你将一事无成。则命题符号化为： 。例2：只有天不下雨，我才骑自行车上班。