设Ａ是布尔矩阵，依据４个性质、ＡＧＡ＝Ａ，ＧＡＧ＝Ｇ、（ＧＡ）￣Ｔ＝ＧＡ、（ＡＧ）￣Ｔ＝ＡＧ的不同组合，定义了五种广义逆Ａ￣－、Ａｒ￣－、Ａ＿ｍ￣－、Ａ＿ｌ￣－、Ａ￣＋，这里Ｇ是布尔矩阵．本文中，我们证明了，如果Ａ￣－、Ａｒ￣－、Ａｍ￣－、Ａ＿ｌ￣－、Ａ￣＋，存在，那么它们一定......