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