数理逻辑中的问题 刚开始学离散数学在数理逻辑中遇到一个概念:“称真值可以变化的陈述句为命题变项或命题变元,命题变项已不是命题.“请举几个这样的陈述句(命题变项)!
2019-05-29
数理逻辑中的问题
刚开始学离散数学
在数理逻辑中
遇到一个概念:
“称真值可以变化的陈述句为命题变项或命题变元,命题变项已不是命题.“
请举几个这样的陈述句(命题变项)!
优质解答
今天,天下雨并且地湿了.“天下雨”“地湿了”的真值是可变的(比如事实上今天是晴天那么“天下雨”是假,事实上是雨天那么它是真的),它们就是命题变项,用p代替“天下雨”用q代替“地湿了”就成了p∧q.
如果天下雨那么地湿了:p→q.
命题变项主要是命题逻辑里面的定义.词项逻辑和谓词逻辑等都没有过多涉及.我记得有个定义是,命题变项是指命题中可以发生变化而不影响命题形式的项.而命题形式就那么几种.
今天,天下雨并且地湿了.“天下雨”“地湿了”的真值是可变的(比如事实上今天是晴天那么“天下雨”是假,事实上是雨天那么它是真的),它们就是命题变项,用p代替“天下雨”用q代替“地湿了”就成了p∧q.
如果天下雨那么地湿了:p→q.
命题变项主要是命题逻辑里面的定义.词项逻辑和谓词逻辑等都没有过多涉及.我记得有个定义是,命题变项是指命题中可以发生变化而不影响命题形式的项.而命题形式就那么几种.