是的，如果一个矩阵可逆，则它的逆矩阵也一定可逆。这是因为一个矩阵可逆的定义为：存在一个矩阵与其乘积为单位矩阵，而逆矩阵就是这个矩阵的倒数。因此，如果一个矩阵可逆，其逆矩阵也一定存在，而且也可逆。