离散数学

发布时间 2023-12-27 22:45:47作者: rexrex

计算题1:
假设 \(p\) 表示“我喜欢数学”,\(q\) 表示“我会编程”,\(r\) 表示“我喜欢阅读”,\(s\) 表示“我会游泳”。现有如下命题:
(1) 如果我不喜欢数学,那么我一定不会编程;
(2) 如果我会编程,那么我要么喜欢阅读,要么会游泳;
(3) 我不会游泳且不喜欢阅读。
请回答以下问题:

  1. 将以上命题翻译成命题公式,并给出联结词的逻辑意义。
  2. 构造以上命题的真值表,并判断其是否为重言式。
  3. 判断以下命题是否为重言式:\((p\land q)\to (p\lor r)\)
  4. 将命题 \((p\land q)\to (p\lor r)\) 转化成主合取范式和主析取范式。
  5. 使用推理法证明:如果我喜欢数学,则我要么喜欢阅读,要么会编程。
  6. 请列举至少两个命题逻辑的应用示例。