-
-
|A|≠0，充分必要条件也即充要条件，意思是说，如果能从命题p推出命题q，而且也能从命题q推出命题p，则称p是q的充分必要条件，且q也是p的充分必要条件。
如果有事物情况A，则必然有事物情况B，如果有事物情况B，则必然有事物情况A，那么B就是A的充分必要条件，简称：充要条件，反之亦然。在逻辑学和数学中一般用“当且仅当”来表示充分必要条件。例如：当且仅当竞争对手甲退出投标时，乙才会报一个较高的价位。
方阵A可逆的充分必要条件有以下：
①|A|≠0。并且当A可逆时，有A^-1=A*/|A|。（A*是A的伴随矩阵，A^-1是A的逆矩阵）
②对于n阶矩阵A，存在n阶矩阵B，使AB=E（或BA=E），并且当A可逆时，B=A^-1。
③A可以经过有限次初等变化为单位矩阵。
④A可以表示为有限个初等矩阵的乘积。
⑤A可以只经过初等行变换化为单位矩阵E。