Wirelogic
Nối các khối quy tắc suy luận lại với nhau thành một biểu đồ chứng minh, cung cấp các tiền đề thông qua các quy tắc cho đến khi nút mục tiêu sáng màu xanh lục.
Cách chơi
Bảng bắt đầu với các khối tiền đề và mục tiêu của bạn. Chọn một quy tắc suy luận từ bảng màu, sau đó nhấp vào khối đầu vào mà nó cần; nếu chúng phù hợp, quy tắc sẽ tạo ra một khối mới được nối với đầu vào của nó. Chuỗi quy tắc cho đến khi bạn đạt được mục tiêu. Để chứng minh một hàm ý, hãy thêm một giả định và thực hiện nó bằng phần giới thiệu hàm ý.
- Chọn một quy tắc như modus ponens, và-giới thiệu, hoặc và-loại bỏ
- Nhấp vào các khối đầu vào của nó để rút ra một đề xuất mới
- Thêm một giả định để chứng minh một ẩn ý, sau đó áp dụng giới thiệu hàm ý
- Thắp sáng mục tiêu theo ít quy tắc nhất có thể để đánh bại par
Chế độ trò chơi
- Hàng ngày: một câu đố cố định được chia sẻ mỗi ngày
- Luyện tập: các câu đố ngẫu nhiên mới
Điều khiển
- Máy tính để bàn: nhấp vào quy tắc, sau đó nhấp vào khối đầu vào trên khung vẽ; Hoàn tác, Hủy quy tắc, Xóa bảng và Mới có sẵn
- Điện thoại và máy tính bảng: nhấn vào một quy tắc và nhấn vào các khối để kết nối chúng (chỉ dùng chuột hoặc cảm ứng)
Mẹo & chiến lược
- Làm việc ngược lại từ mục tiêu để xem quy tắc nào tạo ra nó, sau đó rút ra dữ liệu đầu vào của quy tắc đó
- Khi mục tiêu là một hàm ý, hãy sớm giả định tiền đề của nó và hướng đến việc rút ra kết quả trước khi xả ra
Bạn sẽ học được gì
Wirelogic được xây dựng dựa trên suy luận tự nhiên, biến các quy tắc chứng minh hình thức thành một câu đố nối dây.
- Kỹ năng: suy luận tự nhiên, logic hình thức, quy tắc chứng minh
- Tốt nhất cho: trường trung học / đại học nâng cao
- Dành cho phụ huynh & giáo viên: suy luận tự nhiên, chứng minh chính thức.
Giới thiệu về Wirelogic
Wirelogic là một trò chơi logic trình duyệt miễn phí nguyên bản được xây dựng dựa trên suy luận tự nhiên, biến các quy tắc chứng minh hình thức thành các khối có thể kết nối được để cấu trúc của một đối số hợp lệ trở thành thứ bạn có thể nhìn thấy và xây dựng.
Duyệt tất cả các trò chơi → /
