问答题
((p→q)∧(r→s))→((p∧r)→(q∧s))
问答题((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...
G1=〈R,+〉,G2=〈A,·〉,+和·以及A的定义同(上小题)。 f:R→A,f(x)=cosx+isinx