在进行生产物流系统设计时，需要掌握的数据资料有（）。
A: P，Q，R，W，S
B: A，E，I，O，U
C: P，Q，R，S，T
D: P，Q，I，T，W
A: P，Q，R，W，S
B: A，E，I，O，U
C: P，Q，R，S，T
D: P，Q，I，T，W
举一反三
- 证明: (p∧q)→r，¬r∨s，¬s，p蕴含¬q 过程如下： 证明： ⑴ q P(附加前提) ⑵ ¬r∨s P ⑶ ¬s P ⑷ ¬r T⑵⑶I ⑸ (p∧q)→r P ⑹ ¬(p∧q) T⑷⑸I ⑺ ¬p∨¬q T⑹E ⑻ p P ⑼ ¬q T⑺⑻I ⑽ q∧¬q(矛盾) T⑴⑼I 以上证明方法是用归谬法，证明过程是正确的
- 推理证明:(p→q)∧(r→s),(q→t)∧(s→u),Ø(t∧u),p→rÞØp
- 推理证明:p→(q∧r),Øq∨s,(t→Øu)→Øs,q→(p∧Øt)Þq→t
- 程序段G73 U(△i) W(△k) R(D)；G73 P(ns) Q(nf) U(△u) W(△w) F(f) S(s) T(t)；中的d表示(FANUC系统)
- 推理证明下列各题的有效结论。 ⑴p→ (q∨r )， (t∨ s)→p，(t∨ s) q∨r ⑵p∧q， (p? q)→ (t∨ s) (t∨ s)