7.2 真值表

真值表可以判定论证的有效性,本节考察了5个类型基本复合句的真值表。

  • 波形号(否定)
  • 点号 (合取)
  • V形号 (析取)
  • 箭头 (实质条件句)
  • 双箭头 (实质双条件句)

本节内容比较简单,值得注意的有3点

  1. 合取析取不要搞混了, 合取, 析取
  2. 实质条件句的意义

    实质条件句的真值表中,只有前提为真,结论为假时,整个实质条件句才为假,这与自然语言中的现实情况大相径庭,尤其在前提与结论毫不相干时。其好处在于

    • 让我们更好地确信了第一章介绍的直觉性推理规则的有效性–肯定前件式,否定后件式,假言三段论,析取三段论和构造性二难
    • 确证了否定前件和肯定后件的形式谬误的无效性

    简而言之,实质条件句的捕获了自然语言条件句的部分意义,这些条件句对命题逻辑的基本论证形式的有效性是本质上的。

  3. 实质双条件句实质上是两个实质条件句的合取

练习

  1. 练习2.2,答案错了,当且仅当是充要条件,明显希拉里是妹子啊~!
逻辑的力量 Comments

评论