构造下列推理的证明。如果今天是星期六,我们就到颐和园或圆明园去玩;如果颐和园游人太多,我们就不去颐和园玩;今天是星期六,并且颐和园游人太多。所以我们去圆明园玩。令P:今天是星期六, Q:我们到颐和园去玩,R:我们到圆明园去玩, S:颐和园游人太多。证明:(1) P(2) P T(1)I(3) P(4) Q∨R T(2)(3)I(5) S T(1)I(6) P(7) ¬Q T(5)(6)I(8) T(4)(7)I按顺序选出(1)、(3)、(6)、(8)处应该填的内容( )
选项:
A:P∧S
B:P→S
C:S
D:P→(Q∨R)
E:P→(Q→R)
F:S→┐Q G:S→Q H:R
发布时间:2024-04-01 22:03:57