시민단체들이 정직한 정치하기 운동에 관여하고 또 모든 시민들이 정직한 정치하기 운동에 관심을 기울인다면 정치부패는 사라질 것이다.


( O : 시민단체이다 A : 정직한 정치하기 운동에 관여하는 것이다 C: 시민이다 I: 정직한 정치하기 운동에 관심을 기울이는 것이다. P: 정치가 부패한 것이다. D: 사라지게 될 것이다.)


이 명제의 번역을 저는


(∀x)((Ox→Ax)∧(∀y)(Cy→Iy)→(∀z)(Pz→Dz) 라고 번역했는데,


정답지에서는


(∀x)((Ox∧Ax)∧(∀y)(Cy→Iy)→(∀z)(Pz→Dz) 라고 하네요.


왜 (∀x)(Ox→Ax)가 아니라 (∀x)(Ox∧Ax) 인거죵?