设A={1，2，3，4}，P（A）（A的幂集）上规定二元系如下 R={ s，t 〡s，t P（A）∧（∣s∣=∣t∣} 则P（A）/R=（ ）/ananas/latex/p/1242
举一反三
- 设A={1，2，3，4}，P(A)(A的幂集)上规定二元系如下R={[s,t]|s,t∈P(A)∧(|s|=|t|)}则 P(A)/R =（ ） A: A B: P(A) C: {{{1}}，{{1，2}}，{{1，2，3}}，{{1，2，3，4}}} D: {{Φ}，{2}，{2，3}，{{2，3，4}}，{A}}
- 设A＝{1，2，3，4}，在P（A）上规定二元关系如下：R＝{（s，t）：s，t∈P（A）且|s|＝|t|}，则P（A）/R＝（）。 A: A B: P（A） C: {{{1}}，{{1，2}}，{{1，2，3}}，{{1，2，3，4}}} D: {{∅}，{{2}}，{{2，3}}，{{2，3，4}}，{A}}
- 设关系模式W(C,P,S,G,T,R),其中各属性的含义是:C为课程,P为教师,S为学生,G为成绩,T为时间,R为教室,根据定义有如下函数依赖集F。 F={(S,C)-->G,(T,R)-->C,(T,P)-->R,(T,S)-->R } 则关系模式W的一个码是( )。 A: (S,C) B: (T,P) C: (T,S) D: (T,S,P)
- 推理证明下列各题的有效结论。 ⑴p→ (q∨r )， (t∨ s)→p，(t∨ s) q∨r ⑵p∧q， (p? q)→ (t∨ s) (t∨ s)
- 证明: (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 以上证明方法是用归谬法，证明过程是正确的