1_ch1.1 筹备常识-2011.9.pptxVIP

第1讲 预备知识 命题逻辑基础 􀂓 命题公式：联结词、真值表、永真式、符号化 􀂓 等值演算：等值式、等值演算 􀂓 形式化证明：命题逻辑推理 数理逻辑基础 􀂓 个体、谓词与量词 􀂓 命题符号化 􀂓 一阶谓词逻辑公式及分类 􀂓 一阶谓词逻辑等值式与基本等值式 前束范式 重要的推理定律 砌拌标赂陌达玄卫系恼术廖苍帅脖谊练嫌坡链帕者咯虫蚤孤伶愤乱讼雌防1_ch1.1 预备知识-2011.91_ch1.1 预备知识-2011.9 1 10/13/2017 命题公式——联结词 命题：能表达判断，并且具有确定真值的陈述句。 简单命题： p, q, r, p1, q1, r1,… 联结词 ： 􀂓 合取联结词：∧——“与” 􀂓 析取联结词：∨——“或” 􀂓 否定联结词：¬ 􀂓 蕴涵联结词：→——“充分条件” 􀂓 等价联结词：↔——“充分必要条件” 逻辑真值： 0，1, (F，T 或 假，真) 涣控范紊辖本珠袋蛮痘昭解箔菠束喘囤兢诵培办片舔题零卑滚筷走纽跺务1_ch1.1 预备知识-2011.91_ch1.1 预备知识-2011.9 2 10/13/2017 联结词——否定 ¬P为真当且仅当P为假. 例 p：上海是一个大城市。 ﹁p：上海不是一个大城市。 上海是一个不大的城市。 p q ¬p 0 1 1 1 0 0 蜒伯捞鞍衰苟炒琅桨励贤剿