计算题

使用推理规则，论证推理形式：¬P→Q，S→¬Q，¬R，R∨SP。

设序列{an}，{bn}，{cn}生成函数分别为A（x），B（x）和C（x），证明：若bn=αan，则B（x）...

问答题设序列{a_n}，{b_n}，{c_n}生成函数分别为A（x），B（x）和C（x），证明：若b_n=αa_n，则B（x）=αA（x）。

求方程x1+x2+x3+x4=14的整数解，要求1≤x1，x2，x3，x4≤8.

问答题求方程x1+x2+x3+x4=14的整数解，要求1≤x1，x2，x3，x4≤8.

(p∧(p∨q))→q

问答题(¬p∧(p∨q))→q