我们证明张三不是凶手，我们说凶手都有作案时间，张三没有作案时间，所以他不是凶手，这个叫直接证法。