모든 명제는  조건 -> 조건 으로 표현 가능???

가능하다면  x-1=0을 만족하는 실수 x가 존재한다  이거 저렇게  표현하면 어떻게되.?