本文详细解析了一阶逻辑中的命题符号化、解释与赋值下的公式真假判断、量词消去以及前束范式求解。涉及大学生分类、错误犯人性质、实数函数以及个体域中的逻辑表达式。
2.3 在一阶逻辑中将下列命题符号化
(1)每个大学生不是文科生就是理科生
令 F ( x ) : x F(x):x F(x):x是大学生 G ( x ) : x G(x):x G(x):x是文科生 H ( x ) : x H(x):x H(x):x是理科生
命题符号化： ∀ x ( F ( x ) → ( G ( x ) ∨ H ( x ) ) ) \forall x(F(x) \rightarrow (G(x) \vee H(x))) ∀x(F(x)→(G(x)∨H(x)))
(3)没有不犯错误的人
令 F ( x ) : x F(x):x F(x):x是人， G ( x ) : x G(x):x G(x):x犯错误
命题符号化： ¬ ∃ ( F ( x ) ∧ ¬ G ( x ) ) \lnot \exist(F(x) \wedge \lnot G(x)) ¬∃(F(x)∧¬G(x))
最低0.47元/天 解锁文章
5228
被折叠的 条评论
为什么被折叠?
到【灌水乐园】发言
