"x"yA(x,y)Û "y"xA(x,y)
举一反三
- "x"yA(x,y)Û "y"xA(x,y)
- ∀x∃yA(x,y)⇔∃y∀xA(x,y) A: 错误 B: 正确
- 以下谓词公式中，( )是逻辑有效式。 A: "x Q(x) Þ ($x Q(x)∨"y S(y) ) B: $x(A(x)ÞB) Û $xA(x)ÞB C: $x(A(x)∧B(x)) Û $xA(x)∧$xB(x) D: "x$y P(x,y) Þ $x"y P(x,y)
- 以下谓词公式中，( )是逻辑有效式。 A: "x Q(x) Þ ($x Q(x)∨"y S(y) ) B: $x(A(x)ÞB) Û $xA(x)ÞB C: $x(A(x)∧B(x)) Û $xA(x)∧$xB(x) D: "x$y P(x,y) Þ $x"y P(x,y)
- 下面代码的输出结果是（）。MA = lambda x,y : （x ＞ y） * x + （x ＜ y） * yMI = lambda x,y : （x ＞ y） * y + （x ＜ y） * xa = 10b = 2 A: 2010 B: 2020 C: 1010 D: 1020