“或者张三不是凶手，或者李四不凶手”等值于（）这样一个必要条件假言命题。