题目

帮我解决符号推理
有两个相同的集合 {a b c d}={A B C D} 它们之间的元素有以下关系
f(a)=f(c)=5
f(b)=f(d)=-5
a>b>c,d
A>C
f(a)=f(A)=-f(D)
x=min{c d}
f(x)=-f(C)
x≠B
试确定a b c d与A B C D的对应关系

提问时间：2021-03-31

答案

f(a)=f(A)=-f(D)
所以A=a或c
若A=c,则由A>C得C=d且x=d,与f(x)=-f(C)矛盾
所以A=a
f(x)=-f(C)
x≠B
得x=D
f(c)=f(a)=f(A)=-f(D)
所以D=d
又由f(x)=-f(C)
C=c
B=b