Forgik là một ứng dụng giáo dục để học và thực hành suy luận tự nhiên.
Bằng cách sử dụng các quy tắc suy luận, mục tiêu của bạn là chứng minh một kết luận bằng cách giả định nhiều tiền đề.
Forgik sử dụng một bộ quy tắc suy luận cụ thể, bao gồm luật trung gian bị loại trừ.
Bộ quy tắc này được gọi là logic cổ điển và nó cho phép chứng minh bằng mâu thuẫn.
Hiện tại, Forgik chỉ hỗ trợ logic mệnh đề.
Nhưng nó sẽ sớm hỗ trợ logic thứ tự đầu tiên, còn được gọi là logic vị ngữ.
- Show the goals of each ongoing subproof.
- Add proof report.
- Add visual animations.
- Simplify UI.
- Add new challenge.