设X为矩阵A的广义逆，下式正确的是：
A: AXA=A
B: XAX=X
C: (AX)'=AX
D: (XA)'=XA
A: AXA=A
B: XAX=X
C: (AX)'=AX
D: (XA)'=XA
举一反三
- 在CAD中执行“附着外部参照”命令的快捷键是() A: at B: ax C: x D: xa
- 设B是不含变元x的公式,谓词公式∀x(A(x)→B)等价于( ) A: ∃xA(x)→B B: ∀xA(x)→B C: A(x)→B D: ∀xA(x)→∀xB
- 设B是不含变量x的谓词公式，谓词公式【图片】x（A(x)【图片】B）等价（） A: xA(x)B B: xA(x)B C: A(x)B D: xA(x)B
- 以下谓词等值式正确的是（多选）（ ）。 A: ∀x(A(x)∧B(x))⇔∀xA(x)∧∀xB(x) B: ∀x(A(x)∨B(x))⇔∀xA(x)∨∀xB(x) C: ∃x(A(x)∨B(x))⇔∃xA(x)∨∃xB(x) D: ∃x(A(x)∧B(x))⇔∃xA(x)∧∃xB(x)
- 证明 ∀x(A(x)→B)⇔∃xA(x)→B。以下过程是正确的。 证明 ∀x(A(x)→B)⇔∀x(┐A(x)∨B) ⇔∀x┐A(x)∨B⇔┐∃xA(x)∨B ⇔∃xA(x)→B。