数理逻辑中的问题 刚开始学离散数学在数理逻辑中遇到一个概念：“称真值可以变化的陈述句为命题变项或命题变元,命题变项已不是命题.“请举几个这样的陈述句（命题变项）!
问题描述：
数理逻辑中的问题
刚开始学离散数学
在数理逻辑中
遇到一个概念：
“称真值可以变化的陈述句为命题变项或命题变元,命题变项已不是命题.“
请举几个这样的陈述句（命题变项）!
答
今天,天下雨并且地湿了.“天下雨”“地湿了”的真值是可变的（比如事实上今天是晴天那么“天下雨”是假,事实上是雨天那么它是真的）,它们就是命题变项,用p代替“天下雨”用q代替“地湿了”就成了p∧q.如果天下雨那么...