Logic hình thức
From Wikipedia, the free encyclopedia
Logic hình thức còn được biết đến trong toán học như là logic ký hiệu là ngành khoa học nằm trong miền giao thoa giữa toán học và triết học tự nhiên. Logic hình thức sử dụng ký hiệu hình thức và các phép toán đại số cùng với các nguyên tắc nhất định về giá trị chân lý để nhằm xác định tính đúng đắn của các lập luận.
Bài viết này cần thêm chú thích nguồn gốc để kiểm chứng thông tin. |
Bài này có liệt kê các nguồn tham khảo và/hoặc liên kết ngoài, nhưng nội dung trong thân bài cần được dẫn nguồn đầy đủ bằng các chú thích trong hàng để người khác có thể kiểm chứng. |