本次课程是视频形式，大家可以在视频中看到教材和习题的所有内容，以及我在白板上的演算过程，方便大家学习。
课程海报及二维码
优惠方式
-
限时折扣99元（原价299元）。优惠时段：6月29日早8点~7月4日晚20点。之后恢复原价。本次新课优惠期间《郭暮云讲逻辑学》、《郭暮云讲修辞学》、《郭暮云谈古典教育》同步折扣99元。《古典名著赏析》49元。文末有购买链接（二维码）。
课程简介
本课是之前《初级逻辑学》的后续课程，主要学习“命题逻辑”。
让我们举一个例子来看看命题逻辑能做什么。
您是否能轻松读懂这段话呢？又是否能确定整段论证的有效性呢？
命题逻辑可以用这样的方式来论证其有效性：
第一步，将自然语言符号化：
第二步，以真值表和反证法来证明整段话的有效性：
也可以用“形式论证”正面推导这段话的有效性：
这就是命题逻辑的一个简单应用。
初级逻辑（直言逻辑）和中级逻辑（命题逻辑）的区别
逻辑是一门科学，也是一门艺术。这两种对于逻辑的定义都能够言之成理，自成一家。人们研究不同类别的科学，所观察的事物也不同——生物学家观察有机体，天文学家观察太空…..人们试图通过这些观察来寻求探索上帝统管受造物的自然之律。我们说逻辑是一门科学，是因为在学习逻辑的过程中，我们会观察人类思维在推理——由前提得出结论——的时候是如何运行的，并且通过观察找出，上帝放在人心里的思维推理之律。具体来说，逻辑为我们提供了一套法则，来帮助我们区分好推理和坏推理。在演绎逻辑中，好推理指的是有效推理，即由前提必然能够推出结论的推理。逻辑教会我们关于有效推理和无效推理的法则，所以我们说逻辑是一门科学。
我们说逻辑是一门艺术，是因为逻辑让学生掌握一种在写作、讨论、辩论和交流时能够准确地构建论证的实践性技能。同时，逻辑还可以教会学生判断的准则，使其对所听所闻具备辨别力，能够判断出推理的有效性。逻辑帮助我们发现法则，所以它是一门科学；逻辑教会我们使用这些法则，所以逻辑也是一门艺术。
我们也可以把逻辑看作一种符号语言，它能够反映出其他语言内在固有的推理。在处理论证时，逻辑学把论证中的语言打碎分块，简化为符号形式，这样使得言语的组织架构和内在推理一目了然。对于架构之外无关紧要的部分，逻辑学会把它们去掉，好比一个生物学的学生在解剖青蛙的时候剥离掉青蛙的皮肤、肌肉和器官，只留下骨骼，逻辑学处理语言也是这样——留下推理架构，去掉无关部分。这样处理之后，本质架构显露出来，我们可以使用逻辑学教给我们的法则来查考、识别、修正（如果有必要的话）论证的逻辑结构。
逻辑是一门符号语言，用任何其他语言表述的论证都可以翻译为逻辑语言。论证由命题组成，而命题由词项（可以做陈述的主语的词或词组）构成。在直言逻辑里（关联两个范畴的逻辑），我们用符号（通常用大写字母）代表词项。比如，“所有人（M）都是罪人（S）”应该被翻译为“所有M是S”。而在命题逻辑里，即本书所研究之逻辑学分支，我们用字母表示整个命题。用来改进或者关联各命题的逻辑算子用其他符号来表示。比如，“如果我不吃（E），那么我会饿（H）；我不饿，所以我一定吃过了”可以表示为“~E⊃H，~H，∴E”。
本课第一单元的内容包括命题论证的翻译和分析，以及判定命题有效性的基本知识。第二单元引入了一种新的逻辑训练：书写有效形式证明以及相关话题。第三单元介绍了用来分析论证的新方法——真值树，至此我们完成了关于命题逻辑的所有知识的讲解。第四单元讨论了如何将所学工具与方法应用于真实生活中的命题，比如哲学、神学和圣经。第五单元介绍了数字逻辑，并且帮助学生理解电子设备中的逻辑。
课程目录：
第一单元 真值表
1.命题逻辑导论
2.否定，合取和析取
3.用真值表判断真值
4.条件命题
5.双条件陈述
6.逻辑等值与逻辑矛盾
7.以真值表确定有效性
8.以更简明真值表确定有效性
9.在更简明真值表中使用假定真值
10.以更简明真值表确定一致性
11.以更简明真值表确定等值性
12.二难推理
第二单元 有效的形式论证
13.推理规则
14.识别推理规则
15.构建形式论证
16.替换规则
17.论证练习
18.条件证法
19.归谬证法
20.非必要规则的论证
21.真值函数完整性
第三单元 真值树
22.真值树的一致性
23.分解规则
24.构建真值树的技巧
25.自相矛盾陈述和重言式的真值树
26.等值陈述的真值树
27.真值树的有效性
第四单元 在逻辑论证中应用逻辑工具
28.在实际逻辑论证中应用逻辑工具
第五单元 数字逻辑
29.数字显示
30.不同数制的数字
31.二进制运算
32.基本逻辑门
33.找出数字逻辑电路的真值表
34.将真值表转换成数字逻辑电路
35.与非门和或非门
36.简化规则
37.替换规则
38.德摩根律
39.其他的两种逻辑门
40.卡诺图
课程难度
可能有些弟兄姊妹会觉得这门课太难，担心学不会。其实我也曾经考虑过这个问题，于是做了一个“试验”，就是用三天时间，给包括我妻子在内的三个妈妈专门讲了一遍这门课。她们都没有什么基础。最后的结果是，她们都学得很不错！
课程受众
温馨提示
-
本课教材还没出版，但主要内容都已经在课程视频里呈现了。
-
任何问题可以在本文下边留言，收集到足够问题后我会集中回答，并将回答统一发布在公众号。
-
小鹅通刚刚推出了App，大大方便了大家的学习，曾经有的一些Bug也都解决了。下载安装后已购课程就可以直接查看、学习。大家可以点击这篇文章《三合一的小鹅通助手APP，来了！》下载、使用。或者在苹果应用商店或安卓各应用商店搜索下载“小鹅通助手”即可。
课程试听
扫码可试看第三讲《否定、合取和析取》（前两讲也可以试看）：
常见问题
问：购买后如何听课？
答：下载“小鹅通助手”App，然后用自己的微信账号以“学员”身份登录，即可看到自己购买过的所有课程。可以在线反复观看，但不能下载。
问：有没有教材？
答：有，但目前没有正式出版。不过课程内容都已经在视频里呈现了。
问：能不能直接提供有课程视频的U盘？
答：若将来小鹅通平台无法使用，我会把课程无偿提供给购买了课程的弟兄姊妹，或以其他合宜方式解决。
同步优惠
-
本次新课优惠期间《郭暮云讲逻辑学》、《郭暮云讲修辞学》、《郭暮云谈古典教育》同步折扣99元。《古典名著赏析》49元。识别下边图片中二维码可进入相关课程。
备注
-
课程所得扣除必要成本之后将全部用于基督教古典教育事工。
-
主内全日制学堂的老师可以免费获得本课程。获取兑换码请微信联系我家姊妹：RebekahZhang777
点击“阅读原文”访问本课
