在指定的解释下,下列公式为真的是
A.((x)(P(x)∨Q(x)),P(x):x=1,Q(x):x=2,论域:{1,2} B.((x)(P(x)∧Q(x)),P(x):x=1,Q(x):x=2,论域:{1,2} C.((x)(P(x)→Q(x)),P(x):x>2,Q(x):x=0,论域:{3,4} D.((x)(P(x)→Q(x)),P(x):x>2,Q(x):x=0,论域:{3,4}正确答案A
在指定的解释下,下列公式为真的是
A.((x)(P(x)∨Q(x)),P(x):x=1,Q(x):x=2,论域:{1,2} B.((x)(P(x)∧Q(x)),P(x):x=1,Q(x):x=2,论域:{1,2} C.((x)(P(x)→Q(x)),P(x):x>2,Q(x):x=0,论域:{3,4} D.((x)(P(x)→Q(x)),P(x):x>2,Q(x):x=0,论域:{3,4}正确答案A