原子命题
Skip to main content\(\newcommand{\imp}{\rightarrow}
\renewcommand{\iff}{\leftrightarrow}
\newcommand{\Iff}{\Leftrightarrow}
\newcommand{\Imp}{\Rightarrow}
\newcommand{\lt}{<}
\newcommand{\gt}{>}
\newcommand{\amp}{&}
\)
Section 2.1 原子命题
Objectives: 什么是原子命题
- 原子命题是命题
- 原子命题无法被分解成更短的陈述句了。
- 原子命题又叫作简单命题。
Example 2.1.1.
- 北京是中国的首都。
- 我喜欢离散数学。
- 小张和小王是姐妹。
- 李红和李梅是双胞胎。
- 昨天大连下雪了。
