第二讲 命题逻辑基本知识.pptVIP

第二讲 逻辑学基本知识 一、推理与论证的例子 伽利略不用上比萨斜塔： 假设重物先落地，那么： M m 对于下图： 第一，考虑整体，因M+mM,快于M,比单个M先落地。 第二，考虑单个M,因M m，慢于单个M,比单个M后落地。 矛盾！ 说谎者悖论： 一个克里特人说：“所有的克里特人都说谎。” “我说的这句话是假话。” 芝诺悖论、秃子悖论、谷堆悖论 意外考试悖论： 半费之讼 白马非马 马者，所以名形也；白者，所以名色也。名形者非名色也。故曰：白马非马。求马，黄黑马皆可致。求白马，黄黑马不可致。……故黄黑马一也，而可以应有马，而不可以应有白马，是白马之非马审矣.马者，无去取于色，故黄黑皆所以应。白马者有去取于色，黄黑马皆所以色去，故惟白马独可以应耳。无去者，非有去也。故曰：白马非马.马故有色，故有白马。使马无色，由马如己耳。安取白马？故白者，非马也。白马者，马与白也，白与马也。故曰：白马非马也。 两可说 孔子东游，见两小儿辩斗，问其故。一儿曰：“我以日始出时去人近，而日中时远也。”一儿以日初出远，而日中时近也。一儿曰：“日初出大如车盖，及日中，则如盘盂，此不为远者小而近者大乎？”一儿曰：“日初出沧沧凉凉，及其日中如探汤，此不为近者热而远者凉乎？”孔子不能决也。两小儿笑曰：“孰为汝多知乎！” （《列子·汤问》） “太阳在早晨离我们近”、“太阳中午离我们近”？ 上帝存在的证明（安瑟伦）: 前提1：“可以设想的无与伦比的伟大东西”和“不可设想的无与伦比的伟大东西”是相同的，而“不可设想的无与伦比的伟大东西”是“既存在于心中，也存在于现实中”； 前提2：上帝即是“可以设想的无与伦比的伟大东西”； 结论：上帝是真实“存在”的。 上帝能否制造一个他不能举起的石头；上帝能否制造一个他不能毁灭的东西。 二、命题及其复合 基本命题与复合命题 基本命题变元p，q，r，…… 复合命题是由基本命题通过命题联结词联结而成。 并非太阳是红色的； 太阳是红色的，并且月亮也是红色的； 如果语言能够生产财富，那么夸夸其谈的人就能成为最富有的人。 或者他说谎，或者你说谎。 命题联结词： 五个命题联结词： 否定﹁ 、合取∧、析取∨、蕴涵→、等值←→ 合式公式: ﹁p, p∧q, p ∨ q, p → q, p←→q ﹁p ∧(p → r ∨ q) 真值表 p ﹁p T F F T 合取 析取 蕴涵 p q p∧q p∨q p→q T T T T T T F F T F F T F T T F F F F T 重言式及其判定 p q p→q (p→q) ∧p ((p→q) ∧p) →q T T T T T T F F F T F T T F T F F T F T p q p∨﹁p