计算题1:
假设 \(p\) 表示“我喜欢数学”,\(q\) 表示“我会编程”,\(r\) 表示“我喜欢阅读”,\(s\) 表示“我会游泳”。现有如下命题:
(1) 如果我不喜欢数学,那么我一定不会编程;
(2) 如果我会编程,那么我要么喜欢阅读,要么会游泳;
(3) 我不会游泳且不喜欢阅读。
请回答以下问题:
- 将以上命题翻译成命题公式,并给出联结词的逻辑意义。
- 构造以上命题的真值表,并判断其是否为重言式。
- 判断以下命题是否为重言式:\((p\land q)\to (p\lor r)\)
- 将命题 \((p\land q)\to (p\lor r)\) 转化成主合取范式和主析取范式。
- 使用推理法证明:如果我喜欢数学,则我要么喜欢阅读,要么会编程。
- 请列举至少两个命题逻辑的应用示例。