'~~ z is even if and only if w, x, and y are even. ~~'이란 명제가 있는데


w, x, y가 짝수일 때만 z가 항상 존재한다는 의미인지


아니면 항상은 모르겠고 일단 존재하려면 짝수여야한다는건지 헷갈려요



교수님이 과제로 영어로 된 명제를 내주셔서 해석해서 증명해야하는데 좀 어렵네요