一个逻辑要是可靠的,必须满足的条件是()。