Skip to main content
\(\newcommand{\imp}{\rightarrow} \renewcommand{\iff}{\leftrightarrow} \newcommand{\Iff}{\Leftrightarrow} \newcommand{\Imp}{\Rightarrow} \newcommand{\lt}{<} \newcommand{\gt}{>} \newcommand{\amp}{&} \)
离散数学在线教材
赵戈
Contents
Prev
Up
Next
Contents
Prev
Up
Next
关于本书
作者简介
序言
I
逻辑学
1
判断是否是命题
什么是命题？
命题判断练习题
2
符号化
原子命题
复合命题
复合命题中的五类关系
符号
逻辑表达式与布尔表达式
布尔表达式练习题
复合命题的符号化
符号化练习题
3
推理
推理定律
定律练习
推理练习A
推理练习B
4
公式
什么是公式
公式的赋值
公式的类型
真值表
通过真值表判断公式的类型
等值式
等值演算
5
范式
极小项
主析取范式
等值演算求主析取范式
主析取范式的应用
主合取范式
6
一阶逻辑
谓词
量词
判断带量词的谓词的真假值
全总个体域下的谓词符号化
限定个体域下谓词的符号化
量词的辖域
一阶语言
在给定解释下求真值
消去量词的方法
消去量词的练习题
量词否定等值式
量词辖域的扩张
蕴含式中量词辖域的扩张
前束范式
Authored in PreTeXt
Section
6.5
限定个体域下谓词的符号化
Objectives:
个体域是全人类
F(x):x要呼吸
凡是人都要呼吸
Objectives:
符号化结果
\(\displaystyle \forall x F(x) \)
Objectives:
个体域是全人类
G(x):x用左手写字
有的人用左手写字
Objectives:
符号化结果
\(\displaystyle \exists x G(x) \)
