共用题干题用真值表证明下列命题公式是重言式 ((p→q)∧(r→s))→((p∧r)→(q∧s))

使用推理规则，论证推理形式：P（Q→R），（R∧S）→W，X→（S∧W）P→（Q→X）。

问答题

使用推理规则，论证推理形式：P（Q→R），（R∧S）→W，¬X→（S∧¬W）P→（Q→X）。

G1=〈R，+〉，G2=〈A，·〉，+和·以及A的定义同（上小题）。 f:R→A,f(x)=cosx+isin...

问答题

G₁=〈R，+〉，G₂=〈A，·〉，+和·以及A的定义同（上小题）。
f:R→A,f(x)=cosx+isinx

证明：把x个1和y个0排成一行（x≤y+1），使得没有两个1是相邻的排列数为C（y+1，x）.

问答题证明：把x个1和y个0排成一行（x≤y+1），使得没有两个1是相邻的排列数为C（y+1，x）.