추론 규칙 블록을 증명 그래프에 함께 연결하여 목표 노드가 녹색으로 켜질 때까지 규칙을 통해 구내에 공급합니다.
플레이 방법
보드는 전제 블록과 목표로 시작됩니다. 팔레트에서 추론 규칙을 선택한 다음 필요한 입력 블록을 클릭하세요. 적합하다면 규칙은 입력에 연결된 새 블록을 파생시킵니다. 목표를 도출할 때까지 규칙을 연결하세요. 암시를 증명하려면 가정을 추가하고 암시-도입으로 이를 해제합니다.
방식 포넨스(modus ponens), 도입(and-introduction), 제거(and-elimination)와 같은 규칙을 선택하세요.
새로운 명제를 도출하려면 입력 블록을 클릭하세요.
암시를 증명하기 위해 가정을 추가한 다음 암시-소개를 적용합니다.
파를 이길 수 있도록 가능한 한 적은 규칙으로 골을 밝히십시오.
게임 모드
일일: 매일 공유되는 고정 퍼즐
연습: 새로운 무작위 퍼즐
컨트롤
데스크탑: 규칙을 클릭한 다음 캔버스에서 입력 블록을 클릭합니다. 실행 취소, 규칙 취소, 보드 지우기, 새로 만들기가 가능합니다.
휴대폰 및 태블릿: 규칙을 탭하고 블록을 탭하여 연결합니다(마우스 또는 터치만 가능)
팁과 전략
목표에서 역방향으로 작업하여 어떤 규칙이 이를 생성하는지 확인한 다음 해당 규칙의 입력을 파생시킵니다.
목표가 암시인 경우 선행을 일찍 가정하고 실행하기 전에 결과를 도출하는 것을 목표로 합니다.
무엇을 배울 것인가
Wirelogic은 자연 추론을 기반으로 구축되어 공식적인 증명 규칙을 배선 퍼즐로 바꿉니다.
기술: 자연 추론, 형식 논리, 증명 규칙
최적의 대상: 고급 고등학교/대학
학부모 및 교사용: 자연 공제, 형식 증명.
기원
전제 블록에서 출발해 추론 규칙을 골라 목표에 도달하는 것은 형식적 연역이다. 아리스토텔레스의 삼단 논법에서 현대의 증명 체계까지 이어지는 실천이다.
무언가를 가르치는 설계상의 세부는 규칙이 그 입력이 진정으로 맞을 때만 발동한다는 점이다.
그것이 추론과 단언의 차이 전부다. 옳다고 느껴지지만 어떤 타당한 규칙의 모양과도 맞지 않는 논증이 바로 형식 논리가 잡아내려고 발명된 오류이며, 연결을 억지로 만들 수 없다는 것이 틀렸다고 표시받는 것보다 더 교훈적이다.
와이어로직 소개
Wirelogic은 자연 추론을 기반으로 구축된 독창적인 무료 브라우저 논리 게임으로, 형식 증명 규칙을 연결 가능한 블록으로 전환하여 유효한 논증의 구조를 보고 구축할 수 있는 것이 됩니다.
