浙教版信息技术高中选修4 人工智能初步2.2 逻辑推理-表格式教案.docxVIP

教学设计

课程基本信息

学科

信息技术

年级

高二

学期

秋季

课题

逻辑推理

教科书

书名：信息技术选择性必修4《人工智能初步》教材

出版社：浙江教育出版社出版日期：2019年12月

教学目标

1.理解逻辑学的学科特点

2.理解逻辑推理是人工智能研究的核心问题

3.理解符号主义

3.理解命题的联结词及逻辑等价

教学内容

教学重点：

1.理解命题的联结词及逻辑等价

教学难点：

1.命题的联结词的应用。

教学过程

【新课导入】【思考讨论:学习任务一】

有3个逻辑学家走进了一个酒吧。服务员问：“先生们，你们三个都需要啤酒吗？”

??第一个逻辑学家说：“我不知道。”

??第二个逻辑学家说：“我不知道。”

??然后第三个逻辑学家说：“嗯，我们都要啤酒。”

思考“为什么第三个人知道大家都要啤酒呢？”

【判一判：学习任务二】

判一判哪个是命题，并且指出真伪。

p:北京是中国的首都。

q:13能被6整除。

r:x8。

s:存在最大的素数。

t:m^2大于等于0(m是实数)。

u:命题推理像破案推理一样有意思。

v：明天会下雨吗？

【学习任务三】

分别画出命题联结词：否定、合取、析取、蕴含、双向条件的真值表。

【归纳总结】