命题逻辑甲、乙、丙、丁至少有一个人是北京人. 2．甲、乙、丙并非都是上海人.如果明天是晴天,那么我们去打球,否则去图书馆.请问如何将上面的命题符号化,谢谢了!

分类: 作业答案 • 2021-12-28 10:44:19

问题描述：

命题逻辑
甲、乙、丙、丁至少有一个人是北京人.
2．甲、乙、丙并非都是上海人.
如果明天是晴天,那么我们去打球,否则去图书馆.
请问如何将上面的命题符号化,谢谢了!

答

甲、乙、丙、丁至少有一个人是北京人.
p∨q∨r∨s
甲、乙、丙并非都是上海人.
¬( p∧q∧r)
如果明天是晴天,那么我们去打球,否则去图书馆.
p→(q∨r)
请问如何将上面的命题符号化,