Question

大学离散题

Answer 1

问：大学离散题

答：如下：P: 今天是星期三Q: 我有一次离散数学测验R: 我有一次C语言程序设计测验S: 离散数学课老师有事T: 我有一次高等数学测验1. p 2. (p → (q ∨ r)) 3. s 4. (s → ¬q) 5. (p ∧ s) 6. (p ∧ s) → ((r ∨ t)) 7. (r ∨ t) 结论：我有一次C语言程序设计测验或高等数学测验。

答：如下：(A-B)-C= {x|x∈A且x∉B} - C= {x|x∈A且x∉B且x∉C}= {x|x∈A且x∉BUC}= A-(BUC)因此，(A-B)-C=A-(BUC)。