人工智能基础：逻辑及数学演算中的不动项与不可判定命题（Ⅰ）

• 1.1 What is Digital logic? • 1.2 Digital operations (AND, OR, NOT) • 1.3 Truth table • 1.4 Robot Hardware • 1.5 Software implementation of digital operations

• 数学概念 • 数学命题 • 数学证明

5．1 否定型等值式 5．2 量词分配等值式 5．3 范式 5．4 基本的推理公式 5.5 推理演算 5．6 谓词逻辑的归结推理法

深圳外国语学校：高一数学《集合与常用逻辑用语》章末复习课

本章是数理逻辑中的最基本内容， 是下一章的基础.本章主要讲述命 题与联结词、命题公式、恒真命 题、等价式、蕴涵式及范式等基 本内容；能将自然语言符号化； 能用等价式、蕴涵式等进行命题 演算和推理；能用逻辑推理的方 法解决一些实际问题

上海交通大学《模糊逻辑控制及其应用》_复习

复旦大学：《数理逻辑》课程教学资源（作业习题）exercise_c03-04

复旦大学：《数理逻辑》课程教学资源（作业习题）exercise_c02

复旦大学：《数理逻辑》课程教学资源（作业习题）exercise_c01