조건 x=2가 주어졌다고 치면 x가 2라는 것을 알려주니까 자동으로 앞의 조건이 참이 돼서 조건의 참 거짓을 판별할 수 있는거 아닌가요