命题逻辑

题目

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

答案

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