[12논리03-04] 성취기준 해설과 수업·평가 예시

학습지 문항 예시 예시

논리 기호와 코드 나란히 놓기

1. '기온이 30도 이상이고 비가 오지 않으면 에어컨을 켠다'를 논리 기호로 나타내고, 같은 규칙을 if 문 형태의 의사 코드로 써 보세요.
2. 전건 긍정 규칙(P → Q, P이므로 Q)이 프로그램에서 조건문이 실행되는 과정과 어떻게 닮았는지 설명해 보세요.
3. if not (A and B)와 if (not A) or (not B)가 언제나 같은 결과를 내는 까닭을 드모르간 법칙으로 설명해 보세요.
4. 로그인 프로그램에서 '아이디가 맞고 비밀번호가 맞으면 접속, 그렇지 않으면 거절'하는 절차를 순서도로 그리고 각 단계에 대응하는 논리 표현을 쓰세요.

이 성취기준으로 학습지 만들기

수업 흐름 예시 예시

1. 도입: 자판기가 넣은 돈과 누른 버튼에 따라 음료를 내주는 과정을 떠올리며 기계가 '판단'하는 방법을 질문해요.
2. 전개 1: 조건문, and, or, not 같은 코드 표현과 조건, 연언, 선언, 부정 기호를 대응표로 정리해요.
3. 전개 2: 도서관 대출 규칙을 기호로 형식화하고 같은 규칙을 의사 코드로 작성해 여러 입력에서 결과가 일치하는지 확인해요.
4. 정리: 드모르간 법칙으로 조건식을 바꿔 써 보며 증명과 코딩이 모두 정해진 절차로 결론을 낸다는 점을 정리해요.

이 성취기준으로 수업 PPT 만들기

서술형 평가 문항과 채점 기준 예시

도서관 대출 규칙('연체 도서가 없고 대출 권수가 5권 미만이면 대출할 수 있다')을 논리 기호로 형식화하고 같은 규칙을 의사 코드로 작성한 뒤, 두 표현이 모두 정해진 논리 절차에 따라 결론(대출 가능 여부)을 이끌어 낸다는 공통점을 자연 연역 규칙과 연결하여 서술하시오.

서술형 답안 AI 채점해보기

세특 기재 예시 예시

이 예시는 214자, 나이스 기준 532Byte예요. 과목별 세특은 1,500Byte(500자)까지 써요. 내 문장은 나이스 글자수·바이트 계산기로 세어 볼 수 있어요.

고등학교 논리와 사고 세특 예시 전체 보기

세특에는 학생이 실제로 한 활동과 교사가 관찰한 내용만 써요. 대회명·기관명처럼 쓰면 안 되는 내용은 생기부 기재 금지 사전에서 확인할 수 있어요.

세특 초안 만들어보기

학생들이 자주 헷갈리는 점

코딩은 컴퓨터 기술이고 논리는 철학이라 서로 관계가 없다고 생각하는 학생이 많아요. 조건문과 논리 연산자가 조건, 연언, 선언, 부정 기호와 그대로 대응한다는 점을 같은 규칙의 두 표현으로 나란히 보여 주되, 특정 프로그래밍 언어의 문법 학습으로 흐르지 않게 해 주세요.

같은 영역의 다른 성취기준

• [12논리03-01] 논리 기호를 활용하여 복잡한 주장을 형식화하고 그 논리적 관계를 밝힌다.
• [12논리03-02] 논리 기호를 활용하여 논증의 타당성을 판단하고 증명한다.
• [12논리03-03] 자연 연역의 추론 규칙을 활용하여 함축된 정보를 파악한다.