在自然推理系统 [tex=0.643x1.0]WUJ/JHItsc3Bqx1WYNJcrg==[/tex] 中构造下列推理的证明.[br][/br]如果今天是星期六,我们就要到颐和园或圆明园去玩.如果颐和园游人太多,我们就不去颐和园玩.今天是星期六.颐和园游人太多.所以,我们去圆明园玩.
举一反三
- 在自然推理系统P中构造下面各椎理的证明：如果今天是星期六，我们就要到颐和园或圆明园去玩，如果颐和园游人太多，我们就不去颐和园玩，今天是星期六，颐和园游人太多，所以我们去圆明园玩
- 在自然推理系统 [tex=0.643x1.0]WUJ/JHItsc3Bqx1WYNJcrg==[/tex] 中构造下列推理的证明.[br][/br]前提 [tex=9.571x1.143]IWR8aHpwD3TF64coGhvgv4629l63kYdzHUwbo2u/dcjLgDgx5IMMJkwpEafVW3ygSS8T7E9YPcAx1Ah3WvCWkkWMz6Pf8rdu2I3HohQO2x8=[/tex]结论[tex=2.5x1.071]zBGy4/llz0yMQ956MKe8mw==[/tex]
- 在自然推理系统 [tex=0.643x1.0]WUJ/JHItsc3Bqx1WYNJcrg==[/tex] 中构造下列推理的证明.[br][/br]如果小王是理科生,则他的数学成绩―定很好.如果小王不是文科生,他一定是理科生.小王的数学成绩不好.所以小王是文科生.
- 用等值演算法判断推理是否正确：若今天不是星期六，明天就不是星期一，明天是星期一，所以今天是星期六
- 今天是星期六，明天是星期七。