Truth Tables

sự thật bảng cho logic cổ điển và một số hệ thống không cổ điển

Mục đích duy nhất của chương trình này được tạo ra, và hiển thị, bảng sự thật.

Phiên bản miễn phí này hỗ trợ tất cả các từ nối thông thường của logic cổ điển, đó là phủ định, kết hợp, (bao gồm) phân ly, conditonal (nguyên ý nghĩa), và biconditional (tài liệu tương đương), cũng như các hằng số 1 và 0 biểu thị sự thật và dối trá, tương ứng. Một điều thú vị là, bên cạnh các ký hiệu tiêu chuẩn hơi nhàm chán của logic, bạn có thể sử dụng dòng lót, ký hiệu Ba Lan sáng bóng Łukasiewicz, quá.

Và nó không dừng lại ở đây. Nếu bạn là down-to-earth, chung cảm giác loại người, bạn sẽ tìm thấy nó yên tâm rằng, theo mặc định, chương trình sử dụng cổ điển, hai giá trị, logic. Nhưng nếu bạn có nhiều loại phiêu lưu mạo hiểm, không bao giờ dừng lại ngắn của một doanh nghiệp, bạn sẽ được vui mừng khi biết rằng Bàn Chân cho Android hỗ trợ một số không cổ điển, hệ thống đa quan trọng trong logic, quá. Không bao giờ nhập một dòng sông hai lần, và hai âm không làm cho một sự khẳng định, do đó, để nói chuyện!