Lemma

왼쪽 창에는 그림, 주어진 내용 및 목표가 표시됩니다. 센터는 귀하가 작성한 진술서와 근거를 담은 2열 원장입니다. 후보 단계 풀에서 한 번에 하나씩 추가합니다. 전제조건이 이미 입증된 경우에만 단계가 승인됩니다. 증명을 완성하기 위한 목표를 도출합니다.

• 원장에 추가하려면 후보 단계를 클릭하세요.
• 전제 조건 라인이 설정될 때까지 단계가 잠깁니다.
• 유효하지 않은 도약은 거부되며 때로는 반례가 포함됩니다.
• 더 높은 점수를 얻으려면 더 적은 수의 힌트와 더 적은 수의 라인으로 목표에 도달하세요.

• 일일: 매일 공유되는 고정된 증거
• 연습문제: 새로운 무작위 문제

• 데스크톱: 풀에서 단계를 클릭하여 추가하세요. 실행 취소, 힌트 및 새로 만들기가 도구 모음에 있습니다.
• 휴대폰 및 태블릿: 단계를 탭하여 추가하고 도구 모음 버튼을 탭합니다(마우스 또는 터치 전용).

• 주어진 것부터 앞으로 나아가십시오. 원장에서 이미 전제 조건이 있는 단계를 찾으십시오.
• 힌트를 아껴서 사용하세요. 각각은 다음 정식 라인을 배치하지만 최종 점수를 낮춥니다.

Lemma는 엄격한 연역적 증명을 가르치며 모든 단계가 정당화되도록 강제합니다.

• 기술: 연역적 증명, 형식적 논리, 수학적 엄격함
• 최적의 대상: 고급 고등학교/대학
• 부모와 교사를 위한: 엄격한 연역적 증명.

Lemma는 엄격한 연역적 증명을 가르치는 독창적인 무료 브라우저 논리 게임으로, 실제 2열 기하학 증명이 요구하는 것처럼 모든 주장이 이전 줄에 의해 정당화되도록 강제합니다.

모든 게임 찾아보기 →