问答题
设f：X→Y，g：Y→Z，A⊆X，求证：（gοf）′（A）=g′（f′（A））
问答题 用CP规则推证下列各题的有效结论：p∨q，p→r，q→s=>s∨r
问答题 设X={0，1，2}，请找出XX中满足f3（x）=x（f3为恒等函数）的所有函数。
问答题 用CP规则推证下列各题的有效结论：p→（q∧r），q∨s，（t→u）→s，q→（p∧t）=>q→t
