• 2022-07-29
    ( )不是有效的推理。
    A: 前提:("x)(H(x)ÞM(x)) 结论:("x)("y)(H(y)∧N(x, y))Þ($y)(M(y)∧N(a, y))
    B: 前提:("x)(G(x)ÞH(x)),~($x)(F(x)∧H(x)) 结论:($x)F(x)Þ($x)G(x)
    C: 前提:("x)(P(x)ÞQ) 结论:("x)P(x)ÞQ
    D: 前提:("x)P(x)∨("x)Q(x) 结论:("x)(P(x)∨Q(x))
  • 举一反三