有效推理不是"证明它是对的"，而是"排除它是错的"

陈那的因三相中，第三相"异品遍无性"（与结论矛盾的情况中绝对不存在推理依据）是纯粹的排除性条件。这意味着：一个可靠的推理，其可靠性不来自"正面证据有多少"，而来自"反例被排除了多少"。这个洞见极其深刻——它将知识的确定性建立在否定性基础之上，而非肯定性基础之上。