Chơi với ứng dụng này và xây dựng một số bằng chứng trong phong cách khấu trừ tự nhiên. Nhấp vào một công thức sẽ tự động mở rộng nó với các quy tắc có thể. Các giả định được in màu xanh lam. Chọn một trong số họ tạo ra một cây con mới. Gắn hai cây được thực hiện bằng cách kéo gốc của cây đầu tiên vào lá của cây thứ hai. Nếu chỉ có một khả năng, phần đính kèm này được thực hiện tự động. Bằng chứng được thực hiện khi cây được bao quanh bởi một hình chữ nhật màu đỏ.
Chúc vui vẻ! Logic là thú vị
lịch sử phiên bản
- Phiên bản 1.5 đăng trên 2015-05-07
Hiển thị tốt hơn
Chi tiết chương trình
- Mục: Giáo dục > Công cụ giảng dạy và đào tạo
- Publisher: Laurent Théry
- Giấy phép: Miễn phí
- Giá: N/A
- Phiên bản: 1.5
- Nền tảng: android