slide 2：推理

推理由前提与结论构成。前提是指呈现给我们的事实，结论是由前提推断的事实。

例如：

前提 1：如果你吃药了，你就会好一点
前提 2：你正在吃药
结论：你会变好一点

推理的有效性 validity

直观的说，如果从前提到结论，是逻辑流（flow of logic）或真理的传输（transmission of truth），则推理是有效的（valid）

当且仅当一个推论有效

• 所有前提都为 true 则结论也是 true
• 结论是 false，则至少有一个前提 false

但是，知道了推论是否有效，并不能确定前提和结论到底是 true 还是 false。
同样的，即使前提和结论都正确，也不能保证推论有效。

因此，推理的有效性完全由推理的形式决定。如果一个推理是有效的，则无论推理的内容是什么，如何更换，推理仍然有效。

具体地说：当所有 p1~pn 全都是 true 的行，q 也是 true，则推理有效。 详见 slide 4 的 page 3.

斯多葛式逻辑学 (Stoic logic)

（课件里面写的是 Chrysippus of Soli's Five Indemonstrable Forms）

• 若 1，则 2. 1. 所以 2.
• 若 1，则 2. 非 1，所以非 2.
• 1 和 2 当中有一个 true。1. 所以非 2.
• 1 或 2，1. 所以非 2.
• 1 或 2，非 1. 所以 2.

巴科斯范式（BNF，Backus Naur Form）

课件倒数第二页，那不是空集，那是 phi

课件里面的意思，好像是说，逻辑表达式可以如何写。仅此而已。。