The Logic Calculator

Ứng dụng - Công cụ

Phiên bản mới nhất

Ioannis Votsis

Thực hiện các phép toán logic mệnh đề dễ dàng giống như một máy tính toán.

Giới thiệu về ứng dụng này

Ứ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.

Ảnh chụp màn hình ứng dụng