设向量组A(含s个向量)可由向量组B(含t)个向量线性表示。若s>t, 则A组线性相关。
性质：一个命题为原命题，则和它互为逆否命题的命题为原命题的逆否命题。
逻辑学认为命题与逆否命题是等价的，也就是命题真，则逆否命题也真。命题同它的逆否命题等价是作为公理存在的，你既不能证明它正确也不能证明它错误。其实这个东西可以认为是公理。它和公理“矛盾律”是等价的。 我们数学的体系就是建立在这些公理之上。
扩展资料：
现实生活中存在许多对逆否逻辑的滥用，使用时须注意以下几点：
逆否命题、逆命题、否命题概念适用的前提是原命题为复合命题，而非简单命题。复合命题是由简单命题通过逻辑连接词互相连接而组成的。简单命题难以区分前提和结论，其真假只能通过生活经验和客观事实加以判断。
例如：“我爱你”。这个句子不能算作命题。因为是否“爱”的真假没有一个明确的判断标准。如果“我爱你”是命题，那么它是一个简单命题。我们可以把它等价转换为“若p，则q”的形式。再谈论其逆否命题。
参考资料来源：百度百科-逆否命题
温馨提示：答案为网友推荐，仅供参考