The Logic Calculator

Ứng dụng miễn phí này cho phép người dùng logic đề xuất thực hiện các thao tác dễ dàng giống như được cung cấp bởi một máy tính toán học. Nó tạo điều kiện cho người học logic bằng cách cung cấp thông tin phản hồi đáng kể. Nói chính xác, bằng cách sử dụng ứng dụng này, người ta có thể xác định liệu: (1) đầu vào có được định dạng tốt hay không, nếu không, tại sao không, (2) câu là tautology, mâu thuẫn hoặc dự phòng, (3) bộ câu là nhất quán hoặc không nhất quán và (4) đối số là hợp lệ hoặc không hợp lệ. Nó cũng tạo ra các bảng chân lý có thể được sao chép vào các ứng dụng khác. Kể từ phiên bản này, máy tính bị hạn chế hoạt động ngữ nghĩa.