그럼 (Ex)(Ax->Bx)를 문장으로 나타내려면 굳이

[익명(117.111)]

"적어도 한 x가 유니콘이라면 그 x는 뿔이 없다"

이런 식으로 나타내야 함?

[익명(122.38)]

걍 다중 양화쓰면 안됨?