tailieunhanh - Ebook Logic Toán: Phần 1

Ebook Logic Toán có kết cầu gồm 3 chương. Phần 1 cuốn sách gồm nội dung chương 1 - Đại số mệnh đề và chương 2 - Đại số vị từ. Cuối mỗi chương đều có phần bài tập ôn tập và củng cố kiến thức dành cho các bạn tự ôn tập. nội dung chi tiết cuốn sách này. | MỞ ĐẦU Toán học là một khoa học trong đó mọi chân lý đều được chửng minh bằng suy luận. Vì thè đối với toán học các thuyểt về logic phương tiện đe xây dựng các kiến thức toán học có giá trị lớn. Trong các lý thuyết logic người ta mô tả các quá trình suy luận và các quí luật của sự suy nghĩ cho phép từ tính chân thực của một phán đoán này đưa ra những kết luận về tính đúng đắn hoặc sai làm của các phán đoán khác mà chỉ dựa trên dạng của các phán đoán này chứ không lệ thuộc vào nội dung cụ thề cửa các phán Ốoán đó. Chẳng hạn như qiíi luật tam đoạn luậuf mà chúng ta rat hay đùng klìầug định rằng Từ tính chân ỉliựe của các phán dọân A ỉà c và B là c suy ra lính đúng đắn rủa pỉián đoán A là c mà không phụ thuộc vào các chữ A B và c biêu thị các đối tượng nào . Do mức độ trừu tượng xác định của mình mỗi lý thuyết khoa họe càn phải sản sinh ra một hệ thống ký hiệu riêng đẽ biều thị các khái niệm và ghi nhận các kết-luận tông quát của nó. Trong logic cùng càn có một Lệ thống ký hiệu như vậy. Việc áp dụng trong logic những ký hiệu riêng đà cho phép hĩnh thức hóa các qui luật cùa nó dưới dạng chung nhăt và đã sản sinh ra những tiền đề đê ứng dụng trong logic những phương pháp toàn học V c đó .3 đã dẫn tới một sự điêu chỉnh căn bản trong các lý thuyết logic và làm nầy sính ra một lĩnh vực mới của toán học đó là môn logic toán . i Người đau tiên trong lịch sử bầy tò ý định xây dựng logic dựa trên CƯ sở của toán học là . Lepnit ở cuối the kỷ thứ XVII. Ổng đă đặt cơ sở cho việc đại số hóa logic và việc xây dựng các hệ toán logic. Chúng ta sử dụng các ký hiệu khổng phải chỉ là đê diễn đạt sứ suy nghĩ của ta cho người khác mà cả là đê đơn giản hóa chính quá trinh suy nghĩ của chúng ta Lepnil . Những thảnh quả tiếp theo trong sự phát triên của logic toán gắn liền với tèn tuổi của Đơinooegan 1806 1871 Bun 1815 Í864 Frêghe 1841 1902 Porexki 1846 1907 Freg 1848 1925 Piêcsơ 1839 1914 Pêano 1858 1932 . Lằn đàu tiên logic loán được giới thiệu như là một lĩnh vực mới của toãn học ở .