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

Question

如题所述

Answer 1

若：
　　D（a，b）：a 反对 b；
　　W（x）：x 为战争；
　　a：张三；
则：
　　张三不反对所有战争：┐A （x）（W（x） → D（a，x））；（A 表示“所有”）
等价于：
　　存在（至少）一个战争是张三不反对的：E（x）（W（x） ∧ ┐D（a，x））；（E 表示“存在”）