1/2
Natural Deduction
Tin cậy1K+Tải về
1MBKích thước
2.2.x+1.5(29-06-2020)Phiên bản mới nhất
PEGI-3Chi tiếtĐánh giáPhiên bảnthông tin
1/2
Mô tả của Natural Deduction
Play with this app and build some proofs in natural deduction style.
Clicking on a formula automatically expands it with possible rules.
Assumptions are printed in blue. Selected one of them generates a new subtree.
Attaching two trees is done by dragging the root of the first one to the leaf of the second one.
If there only one possibility, this attachment is performed automatically.
The proof is done when the tree is surrounded by a red rectangle.
Have fun! Logic is fun
Natural Deduction - Thông tin APK
Phiên bản APK: 1.5Gói: org.inria.peanowareTên: Natural DeductionKích thước: 1 MBTải về: 7Phiên bản: : 1.5Ngày phát hành: 2020-06-29 04:47:32Màn hình tối thiểu: SMALLCPU được hỗ trợ:
ID gói: org.inria.peanowareChữ ký SHA1: 47:F7:D3:53:80:25:D8:14:7A:E6:61:88:5E:94:02:7F:84:18:95:54Lập trình viên (CN): Laurent THERYTổ chức (O): INRIAĐịa phương (L): Quốc gia (C): 33Bang / Thành phố (ST): ID gói: org.inria.peanowareChữ ký SHA1: 47:F7:D3:53:80:25:D8:14:7A:E6:61:88:5E:94:02:7F:84:18:95:54Lập trình viên (CN): Laurent THERYTổ chức (O): INRIAĐịa phương (L): Quốc gia (C): 33Bang / Thành phố (ST):
Phiên bản mới nhất của Natural Deduction
1.5
29/6/20207 tải về1 MB Kích thước
Spider Solitaire
4.33
4.33
Narde Tournament3.67
3.67Ứng dụng cùng danh mục
English
