2224번 - 명제 증명
첫째 줄에 증명될 수 있는 명제의 개수 X를 출력한다.
-> 첫째 줄에 출력할 명제의 개수 X개를 출력한다.
문제 조건중에 명제 자체로도 증명 될 수 있는 경우 출력하지 않는다 라고 되어있으니 그 경우는 제외한 갯수로 표현해야합니다.
수정했습니다.
댓글을 작성하려면 로그인해야 합니다.
upple1 6년 전
첫째 줄에 증명될 수 있는 명제의 개수 X를 출력한다.
-> 첫째 줄에 출력할 명제의 개수 X개를 출력한다.
문제 조건중에 명제 자체로도 증명 될 수 있는 경우 출력하지 않는다 라고 되어있으니 그 경우는 제외한 갯수로 표현해야합니다.