• 2022-06-04
    构造下面推理的证明下午张三或去看电影或去游泳。他没有去看电影,所以,他去游泳了。
  • 设P:张三下午去看电影;Q:张三下午去游泳;前提:P∨Q,¬P结论:Q证明过程如下:(1)P∨QP规则(2)¬PP规则(3)QI10

    内容

    • 0

      明天A我B马小军C去D看电影。(和) A: 明天(和)我马小军去看电影。 B: 明天我(和)马小军去看电影。 C: 明天我马小军(和)去看电影。 D: 明天我马小军去(和)看电影。

    • 1

      如果小张和小王去看电影,则小李也去看电影;小赵不去看电影或小张去看电影;小王去看电影。所以,当小赵去看电影时,小李也去看电影。 将简单命题符号化,设 p:小张去看电影, q:小王去看电影, r:小李去看电影, s:小赵去看电影; 前提:(p∧q)→r, ┐s∨p , q 结论:s→r 证明:用附加前提证明法。[br][/br] ① s 附加前提引入 ② 前提引入[br][/br] ③ ①②析取三段论 ④ 前提引入 ⑤ ③④合取 ⑥ 前提引入[br][/br] ⑦ r ⑤⑥假言推理

    • 2

      你准备去看电影,可以说“ ”。 A: 我如果去看电影 B: 我打算去看电影 C: 我要是去看电影 D: 我方便去看电影

    • 3

      令p:天下雨,q:看电影,命题“只有天下雨,他才去看电影”可符号化为

    • 4

      判断下面推理是否正确若气温超过30度,则Alice必去游泳。若Alice去游泳,则她就不去看电影。今天Alice没去看电影。所以今天气温必然超过30度