Wirelogic

추론 규칙 블록을 증명 그래프에 함께 연결하여 목표 노드가 녹색으로 켜질 때까지 규칙을 통해 구내에 공급합니다.

플레이 방법

보드는 전제 블록과 목표로 시작됩니다. 팔레트에서 추론 규칙을 선택한 다음 필요한 입력 블록을 클릭하세요. 적합하다면 규칙은 입력에 연결된 새 블록을 파생시킵니다. 목표를 도출할 때까지 규칙을 연결하세요. 암시를 증명하려면 가정을 추가하고 암시-도입으로 이를 해제합니다.

• 방식 포넨스(modus ponens), 도입(and-introduction), 제거(and-elimination)와 같은 규칙을 선택하세요.
• 새로운 명제를 도출하려면 입력 블록을 클릭하세요.
• 암시를 증명하기 위해 가정을 추가한 다음 암시-소개를 적용합니다.
• 파를 이길 수 있도록 가능한 한 적은 규칙으로 골을 밝히십시오.

게임 모드

• 일일: 매일 공유되는 고정 퍼즐
• 연습: 새로운 무작위 퍼즐

컨트롤

• 데스크탑: 규칙을 클릭한 다음 캔버스에서 입력 블록을 클릭합니다. 실행 취소, 규칙 취소, 보드 지우기, 새로 만들기가 가능합니다.
• 휴대폰 및 태블릿: 규칙을 탭하고 블록을 탭하여 연결합니다(마우스 또는 터치만 가능)

팁과 전략

• 목표에서 역방향으로 작업하여 어떤 규칙이 이를 생성하는지 확인한 다음 해당 규칙의 입력을 파생시킵니다.
• 목표가 암시인 경우 선행을 일찍 가정하고 실행하기 전에 결과를 도출하는 것을 목표로 합니다.

무엇을 배울 것인가

Wirelogic은 자연 추론을 기반으로 구축되어 공식적인 증명 규칙을 배선 퍼즐로 바꿉니다.

• 기술: 자연 추론, 형식 논리, 증명 규칙
• 최적의 대상: 고급 고등학교/대학
• 학부모 및 교사용: 자연 공제, 형식 증명.

와이어로직 소개

Wirelogic은 자연 추론을 기반으로 구축된 독창적인 무료 브라우저 논리 게임으로, 형식 증명 규칙을 연결 가능한 블록으로 전환하여 유효한 논증의 구조를 보고 구축할 수 있는 것이 됩니다.

모든 게임 찾아보기 → /