Thảo luận:Logic hình thức

Tôi nghĩ bài này được chép từ một giáo trình nào đó. Lê Thy (thảo luận) 03:48, ngày 30 tháng 7 năm 2008 (UTC)

Bài này tôi dịch từ ngồn: Johnson/Mowry: “Mathematics: a Practical Odyssey”; Nhà xuất bản Thomson 2004 (in lần thứ năm). Tất nhiên đó là một quyển sách giáo khoa, hơn nữa wikipedia thực chất cũng là một quyển giáo khoa toàn thư.

Còn về định nghĩa logic hình thức hay là logic ký hiệu (trong toán học đồng nhất hai khái niệm đó - symbolic logic) thì có thể xem mục:

2 Logic ký hiệu (hình thức) (Symbolic Logic)

"Tam đoạn luận thống trị khoa học logic trong thời gian dài gần 2000 năm cho tới khi xuất hiện logic hình thức vào cuối thế kỷ 17. Logic ký hiệu (hìnnh thức) sử dụng ký hiệu hình thức và các phép toán đại số. Khái niệm cơ bản mang tính nền tảng của logic hình thức chính là mệnh đề." Quachhoanglan (thảo luận) 14:52, ngày 30 tháng 7 năm 2008 (UTC)

Bạn hãy khẳng định lại, vì nếu dịch đơn thuần cũng sẽ vi phạm bản quyền đấy. Lưu Ly (thảo luận) 14:57, ngày 30 tháng 7 năm 2008 (UTC)

Tất nhiên là giản lược đi rất nhiều Quachhoanglan (thảo luận) 14:58, ngày 30 tháng 7 năm 2008 (UTC)

Vậy đưa tài liệu đó vào mục tham khảo nhé. Lưu Ly (thảo luận) 15:01, ngày 30 tháng 7 năm 2008 (UTC)

Bạn Quachhoanglan có thể bỏ chút thời gian tham khảo một chút các bài hiện có tại đây, bạn sẽ thấy văn phong Bách khoa nó không giống như bài báo hoặc sách giáo khoa chuyên ngành, nó "bình dân" hơn. Tôi chắc với kiến thức của bạn có thể chọn lọc cho phù hợp hơn được. Rất hy vọng có một bài hay (và dễ hiểu) để tham khảo. Tân (trả lời) 15:42, ngày 30 tháng 7 năm 2008 (UTC)

Mong Quachhoanglan hiểu đúng nghĩa thông báo trong bài. Thông báo "Không đủ chất lượng" trong bài chỉ có giá trị đối với dự án Wikipedia. Bài viết có dạng sách giao khoa như thế sẽ thích hợp và có ích tại dự án Wikibooks, Quachhoanglan có thể hoàn chỉnh bài và chuyển toàn bộ nội dung sang đó. Bài Logic hình thức tại Wikipedia nên diễn giải bằng văn xuôi, hạn chế dùng công thức hay sơ đồ. Cuối bài có thể hướng dẫn độc giả tìm đọc giáo án về Logic hình thức bằng thông báo {{Wikibooks}}.

Thaisk (thảo luận, đóng góp) 22:01, ngày 30 tháng 7 năm 2008 (UTC)

Tôi đã tranh thủ thời gian để sửa chữa rồi nhưng thấy nó vẫn còn hơi giáo khoa, ví dụ hơi rườm rà, nhưng nếu bỏ đi thì thành ra hơi khó hiểu. Nếu bạn nào có nhã ý thì mời tham gia, Đa tạ!! Quachhoanglan (thảo luận) 17:20, ngày 1 tháng 8 năm 2008 (UTC)