全总个体域下的谓词符号化
Skip to main content\(\newcommand{\imp}{\rightarrow}
\renewcommand{\iff}{\leftrightarrow}
\newcommand{\Iff}{\Leftrightarrow}
\newcommand{\Imp}{\Rightarrow}
\newcommand{\lt}{<}
\newcommand{\gt}{>}
\newcommand{\amp}{&}
\)
Section 6.4 全总个体域下的谓词符号化
Objectives: 个体域是全总个体域
- M(x):x是人
- F(x):x要呼吸
- 宇宙中的所有事物都是人并且所有事物都要呼吸
Objectives: 符号化结果
- \(\displaystyle \forall x (M(x) \wedge F(x)) \)
Objectives: 个体域是全总个体域
- M(x):x是人
- F(x):x要呼吸
- 宇宙中的事物，假如是人，则它要呼吸
Objectives: 符号化结果
- \(\displaystyle \forall x (M(x) \imp F(x)) \)
Objectives: 个体域是全总个体域
- M(x):x是人
- G(x):x用左手写字
- 宇宙中存在某个事物，该事物既是人又用左手写字
Objectives: 符号化结果
- \(\displaystyle \exists x (M(x) \wedge G(x)) \)
