与“﹁ " x(A(x)→B(x))”相等值的谓词公式是
举一反三
- 与“﹁x(A(x)→B(x))”相等值的谓词公式是 A: x(A(x)∧﹁B(x)) B: x﹁(A(x)∧B(x)) C: x(A(x)∧﹁B(x)) D: x(A(x)∧﹁B(x))
- 与“﹁"x(A(x)→B(x))”相等值的谓词公式是? "x(A(x)∧﹁B(x))|$x﹁(A(x)∧B(x))|$x(A(x)∧﹁B(x))|"x﹁(A(x)→B(x))
- 与“﹁"x(A(x)→B(x))”相等值的谓词公式是 A: $x(A(x)∧﹁B(x)) B: $x﹁(A(x)∧B(x)) C: "x(A(x)∧﹁B(x)) D: "x﹁(A(x)→B(x))
- 与“﹁"x(A(x)→B(x))”相等值的谓词公式是 A: [img=236x38]1802f7fe9524c6a.png[/img] B: [img=234x52]1802f7fea031e79.png[/img] C: [img=238x58]1802f7feab8b46c.png[/img] D: [img=274x58]1802f7feb72c8dd.png[/img]
- 谓词公式∀x(A(x)→G(x))的类型是（ ）。