张三(a)不反对(D(x、y))所有战争(W(x)).使用通常的谓词逻辑公式将这一命题符号化.