命题“张三或李四可以做这件事”符号化为()