※ 本文是否可提供台大同学转作其他非营利用途？（须保留原作者 ID）
（是／否／其他条件）：
哪一学年度修课：103-2
ψ 授课教师 彭孟尧
λ 开课系所与授课对象 (是否为必修或通识课 / 内容是否与某些背景相关)
通识课，有理工背景似乎会比较上手。
δ 课程大概内容
基本概念：语句、命题、论证、演绎、归纳
命题逻辑语言与日常语言的符号化
命题逻辑的语法与语意
论证有效性之检定：真值表、归谬真值表、树枝法
论证有效性之检定：真值表、归谬真值表、树枝法（续） 命题逻辑的证明
命题逻辑的证明（续）
命题逻辑的证明（续）
述词逻辑与日常语言的符号化
期中考试
述词逻辑与日常语言的符号化（续）
一元述词逻辑语言：语法和语意
一元述词逻辑语言：语法和语意（续）
释模法与无效论证 述词逻辑的证明（量限推论）
述词逻辑的证明（量限推论）（续）
多元述词逻辑（关系逻辑）
多元述词逻辑（关系逻辑）（续）
逻辑的后续发展
Ω 私心推荐指数(以五分计)
2.5
η 上课用书(影印讲义或是指定教科书)
无，但是建议买老师出的书。
μ 上课方式(投影片、团体讨论、老师教学风格)
投影片，有时候会问问题当加分用。
σ 评分方式(给分甜吗？是扎实分？)
扎实分，百分比怎么算就怎么给分，
40％期中40％期末10％作业10％作业，
期中期末是老师出题，作业是助教自由发挥想怎么出就怎么出。
基本上老师对于成绩都是交给助教处理。
上课回答问题的学生会另外有加分。
ρ 考题型式、作业方式
翻译、证明。
ω 其它(是否注重出席率？如果为外系选修，需先有什么基础较好吗？老师个性？
加签习惯？严禁迟到等…)
完全不点名，所以要到不到都可以，全勤不会加分，没到不扣分。
有些数理基础会比较好。
但是，（纯属个人意见）助教的作业几乎是老师上课与考试的2~3倍难，
作业成绩不好拿，期末甚至有集体作业写一样的状况发生，
本来老师和助教决定以抄袭判定零分，但是因为数量相当庞大，
经过许多同学们的解释或求情（？）老师决定还是给原成绩。
Ψ 总结
如果您是想要按部就班拿成绩的学生，不要来选这门课，
因为助教二十分的变量非常大，老师因为已经是教授了，对于作业和
考试都是交由助教全权处理，原因是老师想要给助教多一些教学经验...
正课的时候也常常有助教上课的情形，
老师本身给助教在这堂课上很多的自由与且无条件完全支持，
也因为作业都是助教出的
作业和考试的批改也都是助教，所以在后来觉得助教才是这门课的关键
这门课在学期末不会再调分，所以不喜欢数理的同学可以再考虑一下是否要修。
上一篇的评价文说甜的像山岚的风可能作者是数理强人有加分，
或是该学期的助教作业出的比较简单些，
但是，好消息是，这学期的助教要毕业了，所以之后想要选的同学
应该不会再被这两位助教带到。